backtracking / ocamlgraphLinks
OCaml graph library
☆237Updated this week
Alternatives and similar repositories for ocamlgraph
Users that are interested in ocamlgraph are comparing it to the libraries listed below
Sorting:
- QuickCheck inspired property-based testing for OCaml.☆374Updated last month
- Design discussions about the OCaml language☆161Updated 3 months ago
- Type-driven code generation for OCaml☆488Updated 2 months ago
- Terminal manipulation library for OCaml☆217Updated 9 months ago
- Simple template for midsize OCaml project☆125Updated 4 months ago
- Code coverage for OCaml and ReScript☆309Updated 6 months ago
- An OCaml lexer generator for Unicode☆253Updated this week
- A Simple Profiling Library for OCaml☆132Updated 4 months ago
- Library for binding to C libraries using pure OCaml☆391Updated last week
- Base library and tools for ppx rewriters☆267Updated last week
- OCaml bindings to the SQLite3 database☆121Updated 2 months ago
- A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.☆502Updated last week
- Staged metaprogramming in stock OCaml☆152Updated last year
- The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementatio…☆243Updated 4 months ago
- Cabal like system for OCaml☆130Updated 4 years ago
- A tool-agnostic formal specification language for OCaml.☆144Updated 4 months ago
- Formal verification for OCaml☆263Updated 9 months ago
- Low-level JSON parsing and pretty-printing library for OCaml☆345Updated this week
- Documentation compiler for OCaml and Reason☆330Updated 2 weeks ago
- Declarative definition of command line interfaces for OCaml☆308Updated last month
- Parallel Programming over Domains☆177Updated last month
- The Flambda backend project for OCaml☆146Updated this week
- A modular sat/smt solver with proof output.☆99Updated last year
- Tools for authors of ppx rewriters☆134Updated last year
- Pure OCaml regular expressions, with support for Perl and POSIX-style strings☆237Updated last week
- OCaml version of Category Theory For Programmers☆132Updated 5 years ago
- Contextual types meet mechanized metatheory!☆189Updated 2 weeks ago
- A Protobuf Compiler for OCaml☆182Updated 8 months ago
- Declarative events and signals for OCaml☆142Updated last year
- A style guide for OCaml☆109Updated last year