backtracking / ocamlgraphLinks
OCaml graph library
☆241Updated last month
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.☆380Updated 3 weeks ago
- Design discussions about the OCaml language☆165Updated 5 months ago
- The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementatio…☆244Updated 6 months ago
- Low-level JSON parsing and pretty-printing library for OCaml☆350Updated this week
- Formal verification for OCaml☆266Updated last year
- Code coverage for OCaml and ReScript☆312Updated 8 months ago
- Simple template for midsize OCaml project☆125Updated 6 months ago
- A modular sat/smt solver with proof output.☆101Updated last year
- Terminal manipulation library for OCaml☆220Updated last month
- Type-driven code generation for OCaml☆495Updated 2 weeks ago
- Staged metaprogramming in stock OCaml☆152Updated last year
- A Simple Profiling Library for OCaml☆134Updated 6 months ago
- The legacy OCamlbuild build manager☆129Updated 4 months ago
- An OCaml lexer generator for Unicode☆259Updated 2 months ago
- Simple iterator abstract datatype, intended to iterate efficiently on collections while performing some transformations.☆123Updated 6 months ago
- A tool-agnostic formal specification language for OCaml.☆145Updated this week
- Library for binding to C libraries using pure OCaml☆394Updated last month
- Parallel Programming over Domains☆178Updated 3 months ago
- Declarative events and signals for OCaml☆143Updated last year
- OCaml bindings to the SQLite3 database☆124Updated 2 weeks ago
- A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.☆505Updated 3 weeks ago
- Declarative definition of command line interfaces for OCaml☆318Updated last week
- Self-contained monadic parser combinators for OCaml☆148Updated 2 years ago
- Documentation compiler for OCaml and Reason☆335Updated last week
- A style guide for OCaml☆110Updated last year
- Cram like framework for OCaml☆170Updated last month
- OCaml version of Category Theory For Programmers☆134Updated 5 years ago
- Pure OCaml regular expressions, with support for Perl and POSIX-style strings☆237Updated last week
- Streamlining the release of dune packages to opam☆118Updated this week
- Base library and tools for ppx rewriters☆272Updated 3 weeks ago