Skip to content
View OnofreTZK's full-sized avatar
:shipit:
:shipit:
  • Datarisk
  • Natal - RN, Brazil.

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

HTTP library for F#

F# 451 43 Updated Dec 3, 2024

Auto-formatter for OCaml code

OCaml 638 180 Updated Dec 2, 2024

Interactive Coq Proofs in Vim

Python 274 34 Updated Sep 17, 2024

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# 550 83 Updated Oct 26, 2024

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

216 10 Updated Jan 2, 2023

OCaml-focused, custom nix-overlays

Nix 105 27 Updated Dec 3, 2024

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

163 18 Updated Dec 23, 2019

Nix, the purely functional package manager

C++ 12,950 1,534 Updated Dec 3, 2024

I am trying to describe complex matters in simple doodles!

11,181 800 Updated Jan 23, 2024

Master programming by recreating your favorite technologies from scratch.

Markdown 315,490 29,260 Updated Sep 3, 2024

A minimal OCaml project

OCaml 43 8 Updated Jun 12, 2024

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 70,009 14,614 Updated Nov 24, 2024

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

F# 158 26 Updated Oct 10, 2024

A CI for OCaml projects

OCaml 112 75 Updated Dec 2, 2024

Lista de materiais e ferramentas para quem quer aprender Clojure

110 3 Updated May 2, 2024

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

F# 7 Updated Jan 17, 2024

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

F# 2,128 266 Updated Dec 2, 2024

Orgmode clone written in Lua for Neovim 0.9+.

Lua 3,097 139 Updated Nov 15, 2024

Exercises and projects for Jane Street's OCaml Workshop

OCaml 567 156 Updated Apr 4, 2022

Algorithms and data structures in Swift, with explanations!

Swift 28,848 5,002 Updated May 9, 2024

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

Ruby 1,757 144 Updated Nov 10, 2024

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

148 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

Library containing the definition of S-expressions and some base converters

OCaml 18 18 Updated Nov 8, 2024

Cryptographic primitives for OCaml, in OCaml (also used in MirageOS)

C 77 43 Updated Oct 1, 2024

Ocaml-solidity provides a Solidity parser and typechecker

OCaml 30 10 Updated Sep 12, 2023

V2 of Real World OCaml

OCaml 1,190 175 Updated Jul 8, 2024
Next