johnyob / graceLinks
A fancy diagnostics library that allows your compilers to exit with grace
☆75Updated 2 months ago
Alternatives and similar repositories for grace
Users that are interested in grace are comparing it to the libraries listed below
Sorting:
- Realtime grep for OCaml/Coq sources available on opam☆85Updated 9 months ago
- Fuzzy type search for OCaml documentation☆81Updated 11 months ago
- Documentation of the OCaml implementation☆53Updated 2 years ago
- Monitor Eio programs☆78Updated last year
- ☆61Updated 7 months ago
- 🩺 A library for compiler diagnostics☆46Updated 4 months ago
- Dependency graphs for OCaml modules, libraries and packages☆39Updated 11 months ago
- This repository contains examples to help on understanding what are and how to write PPXs in OCaml.☆41Updated 6 months ago
- A simple scheduler for OCaml 5☆106Updated 2 weeks ago
- Runtime assertion checking based on Gospel specifications☆46Updated this week
- A library that makes it nicer to work with nested functional data structures☆59Updated last week
- A tool-agnostic formal specification language for OCaml.☆144Updated this week
- Interoperable effects based concurrency☆131Updated last week
- OCaml plus Jane Street extensions☆74Updated 11 months ago
- Commodity thread pools and concurrency primitives for OCaml 5☆60Updated last month
- A CI for OCaml projects☆113Updated 2 weeks ago
- 2d game engine for OCaml☆65Updated 3 months ago
- OxCaml Parallelism☆28Updated last week
- A simple multi-format pretty-printer for Menhir.☆57Updated 2 months ago
- Lightweight document☆137Updated last month
- A declarative command-line parser for OCaml☆43Updated 3 months ago
- Shopify's Liquid templating language in OCaml. Features an interpreter, parser and lexer.☆47Updated last month
- Streamlining the release of dune packages to opam☆118Updated 2 months ago
- Purely functional GUI algebra☆77Updated 2 months ago
- A Deductive Verification Tool for OCaml Programs☆73Updated last month
- NES emulator in OCaml☆43Updated last year
- Compile OCaml to standalone ANSI C file☆44Updated last month
- A shell library for OCaml☆86Updated last year
- Browser programming toolkit for OCaml☆102Updated 2 weeks ago
- Interactive breakpoints!☆43Updated last year