backtracking / ocamlgraph
OCaml graph library
☆236Updated last week
Alternatives and similar repositories for ocamlgraph:
Users that are interested in ocamlgraph are comparing it to the libraries listed below
- Code coverage for OCaml and ReScript☆306Updated 4 months ago
- QuickCheck inspired property-based testing for OCaml.☆368Updated last week
- Low-level JSON parsing and pretty-printing library for OCaml☆336Updated 8 months ago
- Design discussions about the OCaml language☆156Updated last month
- A Simple Profiling Library for OCaml☆131Updated 2 months ago
- Type-driven code generation for OCaml☆479Updated last week
- A tool-agnostic formal specification language for OCaml.☆140Updated last month
- Terminal manipulation library for OCaml☆214Updated 7 months ago
- A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.☆496Updated last month
- Formal verification for OCaml☆256Updated 7 months ago
- Simple template for midsize OCaml project☆125Updated last month
- Library for binding to C libraries using pure OCaml☆381Updated last month
- An OCaml lexer generator for Unicode☆249Updated 2 weeks ago
- Base library and tools for ppx rewriters☆260Updated 2 weeks ago
- Staged metaprogramming in stock OCaml☆151Updated 11 months ago
- Parallel Programming over Domains☆174Updated last year
- Cabal like system for OCaml☆128Updated 4 years ago
- A modular sat/smt solver with proof output.☆99Updated last year
- Simple iterator abstract datatype, intended to iterate efficiently on collections while performing some transformations.☆123Updated last month
- Self-contained monadic parser combinators for OCaml☆147Updated last year
- Declarative events and signals for OCaml☆138Updated 11 months ago
- Contextual types meet mechanized metatheory!☆187Updated 7 months ago
- OCaml version of Category Theory For Programmers☆131Updated 5 years ago
- Pure OCaml regular expressions, with support for Perl and POSIX-style strings☆236Updated last week
- Documentation compiler for OCaml and Reason☆331Updated last week
- The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementatio…☆239Updated 2 months ago
- The Flambda backend project for OCaml☆129Updated this week
- Archive for all Coq related OPAM packages organized in various repositories☆133Updated last week
- Property fuzzing for OCaml☆188Updated last year
- Streamlining the release of dune packages to opam☆118Updated last month