marigold-dev / easier-proofsLinks
A project which aim to help engineers to make proves easily
☆14Updated 3 years ago
Alternatives and similar repositories for easier-proofs
Users that are interested in easier-proofs are comparing it to the libraries listed below
Sorting:
- Lower-Kinded Optics for OCaml☆25Updated 7 months ago
- Menhir polishing toolbox, for experienced druids☆35Updated last week
- ☆26Updated 3 years ago
- A platform agnostic library for P2P communications using UDP and Bin_prot☆23Updated 3 years ago
- Algebraic structures in OCaml.☆25Updated 2 weeks ago
- ☆25Updated 4 years ago
- a MirageOS OAuth2 authorization server for Etsy authentication☆18Updated 3 years ago
- OCaml with typed algebraic effects☆51Updated 7 years ago
- ☆22Updated last year
- ☆21Updated 3 years ago
- A Framework for building Batched Concurrent Services☆21Updated 5 months ago
- unloading modules with ocaml native☆16Updated 4 years ago
- Co-operative allocation of domains for OCaml☆14Updated 2 years ago
- A high level DSP library in the OCaml language☆24Updated last month
- improving stack trace for let monadic☆27Updated 4 years ago
- Algorithms to layout trees in a pretty manner.☆36Updated 3 years ago
- Fast implementation of queue in OCaml☆51Updated last year
- OCaml bindings to Minisat☆12Updated last year
- Example use of ts2ocaml☆18Updated last week
- Exploring the corners of OCaml type system☆18Updated 4 years ago
- Library for color and formatting in the terminal☆21Updated 3 years ago
- Relational database programming for OCaml (unreleased)☆43Updated 3 months ago
- A program launcher for Wayland☆15Updated last year
- A tiny command line bookmark manager.☆12Updated 3 years ago
- Documentation of the OCaml implementation☆52Updated 2 years ago
- ☆49Updated 4 years ago
- An OCaml library for describing and simulating synchronous finite state machines")☆33Updated 4 years ago
- GRPC implementation in OCaml☆25Updated 3 years ago
- Js_of_ocaml bindings for MithrilJS☆18Updated 4 years ago
- Pretty print an OCaml cmi/cmt/cmti file in human-readable OCaml signature form☆42Updated 3 years ago