johnyob / grace
A fancy diagnostics library that allows your compilers to exit with grace
☆70Updated 5 months ago
Related projects ⓘ
Alternatives and complementary repositories for grace
- Interoperable effects based concurrency☆94Updated this week
- Realtime grep for OCaml/Coq sources available on opam☆78Updated 2 months ago
- Fuzzy type search for OCaml documentation☆72Updated 4 months ago
- Documentation of the OCaml implementation☆53Updated last year
- This repository contains examples to help on understanding what are and how to write PPXs in OCaml.☆35Updated 3 weeks ago
- Lightweight document☆132Updated 4 months ago
- Monitor Eio programs☆77Updated 8 months ago
- 🩺 A library for compiler diagnostics☆35Updated this week
- OCaml linter☆67Updated 3 weeks ago
- 2d game engine for OCaml☆55Updated last month
- Build OCaml projects with Nix.☆54Updated 2 months ago
- Commodity thread pools and concurrency primitives for OCaml 5☆54Updated last month
- A simple scheduler for OCaml 5☆93Updated last month
- Purely functional GUI algebra☆72Updated 2 years ago
- An OCaml mutation tester☆65Updated last month
- Template for an ocaml project with modern tooling☆76Updated last month
- OCaml plus Jane Street extensions☆73Updated 4 months ago
- A shell library for OCaml☆77Updated 7 months ago
- Tools for record-and-replay debugging☆42Updated last year
- Playing with type systems☆46Updated 2 years ago
- TOML parsing, manipulation, and pretty-printing library for OCaml (fully 1.0.0-compliant)☆49Updated 7 months ago
- ☆54Updated 3 weeks ago
- A CI for OCaml projects☆112Updated this week
- A Deductive Verification Tool for OCaml Programs☆60Updated 4 months ago
- Runtime assertion checking based on Gospel specifications☆38Updated last week
- A simple multi-format pretty-printer for Menhir.☆55Updated 4 months ago
- Functional Monadic Library for Ocaml☆46Updated 2 months ago
- Dependency graphs for OCaml modules, libraries and packages☆34Updated 4 months ago
- Automatically generates OCaml FFI bindings and C shim code to C/C++ libraries☆33Updated 8 months ago
- Petrol's an OCaml SQL API made to go FAST.☆113Updated last month