ocaml
Repositories (1372)
relation query language, with typed embedding into OCaml
Let's write some Advent of Code in OCaml
OCaml asynchronous scheduler and monad for server-oriented programming.
[alpha] lightweight fiber library for OCaml 5
A simple note-taking app
Mostly Automated Proof Repair for Verified Libraries
FP in Scalaベースの関数型プログラミング演習問題
DEPRECATED - Use the main ocaml-zmq project instead
🦖 The T-Rex Runner Game from Chrome written in Reason
telnet protocol in OCaml
2048 game in Reason React
An implementation of Daan Leijen's λ^k effect-conscience type system in OCaml
Writing multicore programs with Reason
UDP-only netcat implementation with OCaml / MirageOS
Personal data silos with secure sharing
OCaml library for partially ordered maps
A stream processing language and compiler for small-scale monitoring
WIP IndieWeb blog engine
OCaml parsers for multiple key formats
agrid is an OCaml library for adjustable grids. Adjustable grids are two dimensional arrays whose width/height can be changed by adding or removing ro...
OCaml preprocessor to derive factory methods and default values from type definitions
Automatic Differentiation: FADBAD++ for OCaml
A simple diff algorithm in pure OCaml
Rockstar interpreter in OCaml
An implementation of Linear Lambda Calculus.
Look at https://github.com/anuragsoni/shuttle_http instead
Get the size of the attached terminal in OCaml
[@@ deriving] plugin to generate make functions.
Library for tokenizing code with TextMate grammars
A debugger for Michelson
A command line comic reader and collection manager
A build system.
Tools for migrating away from Lwt
OCaml as a Tactic Language for the Rocq Prover
Lambda calculus parser in Haskell
Apprenez à developper en ReasonML en faisant un jeu vidéo !
OCaml SDL2_image bindings to go with Tsdl
Overlay over bigarrays of chars
List of cryptocurrencies and smart contracts using functional programming languages
WebSocket server implementation of OCaml
Design-by-contract programming for JavaScript and ReasonML
MirageOS IRC daemon.
Enables HTTP file uploads and form processing in OCaml web applications.
🍯 Sweet simple static site generator with Dune vibes
The Cubicle model checker
Fire Emblem themed pass & play browser chess game, implemented in ReScript
A project which aim to help engineers to make proves easily
Library to read metadata from files in various formats.
Generate CloudFormation templates with OCaml