Skip to content
View OnofreTZK's full-sized avatar
:shipit:
:shipit:
  • Datarisk
  • Natal - RN, Brazil.
  • 00:04 (UTC -03:00)

Highlights

  • Pro

Block or report OnofreTZK

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

⭐️ A friendly language for building type-safe, scalable systems!

Rust 18,798 794 Updated Feb 21, 2025

Specification for interoperability of common algebraic structures in JavaScript

JavaScript 10,163 376 Updated Nov 10, 2024

Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples

OCaml 105 Updated Dec 20, 2024

🌒 A TUI for GitHub

OCaml 184 11 Updated Feb 22, 2025

HTTP library for F#

F# 460 42 Updated Jan 18, 2025

Auto-formatter for OCaml code

OCaml 651 185 Updated Feb 18, 2025

Interactive Coq Proofs in Vim

Python 282 33 Updated Jan 4, 2025

A fresh retake of the React API in Fable and a collection of high-quality components to build React applications in F#, optimized for happiness

F# 561 86 Updated Oct 26, 2024

An updated cheat sheet for F# 🔷🦔💙💛🤍💚

221 9 Updated Jan 2, 2023

OCaml-focused, custom nix-overlays

Nix 109 31 Updated Feb 22, 2025

Jargões da programação funcional em termos simples!

163 18 Updated Dec 23, 2019

Nix, the purely functional package manager

C++ 13,618 1,592 Updated Feb 22, 2025

I am trying to describe complex matters in simple doodles!

11,315 803 Updated Jan 23, 2024

Master programming by recreating your favorite technologies from scratch.

Markdown 338,943 31,376 Updated Sep 3, 2024

A minimal OCaml project

OCaml 43 8 Updated Jan 24, 2025

A game of life implementation written in Haskell

Haskell 3 1 Updated Aug 12, 2024

12 weeks, 26 lessons, 52 quizzes, classic Machine Learning for all

HTML 71,186 15,107 Updated Feb 18, 2025

A dotnet CLI to generate type-safe GraphQL clients for F# and Fable with automatic deserialization, static query verification and type checking

F# 157 26 Updated Oct 10, 2024

A CI for OCaml projects

OCaml 112 77 Updated Jan 14, 2025

Lista de materiais e ferramentas para quem quer aprender Clojure

114 4 Updated Dec 16, 2024

Sample API project written in F#, built with Saturn + Giraffe and working with Prometheus and Grafana using Docker containers

F# 8 Updated Jan 17, 2024

A native functional ASP.NET Core web framework for F# developers.

F# 2,154 265 Updated Feb 17, 2025

Orgmode clone written in Lua for Neovim 0.10.0+.

Lua 3,229 149 Updated Feb 22, 2025

Exercises and projects for Jane Street's OCaml Workshop

OCaml 595 164 Updated Apr 4, 2022

Algorithms and data structures in Swift, with explanations!

Swift 28,958 5,003 Updated Dec 6, 2024

Real World Rails applications and their open source codebases for developers to learn from

Ruby 1,770 144 Updated Feb 10, 2025

A collection of libraries, experiments and ideas relating to OCaml 5 (multicore + effects)

149 2 Updated Aug 30, 2023

Simplify the configuration of editors for using OCaml tools

OCaml 81 12 Updated Sep 5, 2024

Multicore OCaml

OCaml 762 68 Updated Dec 9, 2022

A Merkle tree library in OCaml

OCaml 4 Updated Dec 17, 2021
Next