Alternatives and similar repositories for sawja

Users that are interested in sawja are comparing it to the libraries listed below

• dbuenzli / down
  An OCaml toplevel (REPL) upgrade
  ☆93Updated 4 months ago
• LexiFi / landmarks
  A Simple Profiling Library for OCaml
  ☆135Updated 10 months ago
• murmour / mparser
  A simple monadic parser combinator library for OCaml
  ☆69Updated 3 years ago
• yallop / ocaml-asp
  Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc
  ☆104Updated 7 months ago
• javalib-team / javalib
  Javalib is a library to access and manipulate Java class files from OCaml.
  ☆18Updated last year
• Gbury / dolmen
  Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
  ☆88Updated 3 months ago
• metaocaml / ber-metaocaml
  Unofficial git mirror of the BER MetaOCaml patchset.
  ☆69Updated 7 months ago
• objmagic / jaw
  Code using GADT
  ☆40Updated 4 years ago
• ocaml-gospel / gospel
  A tool-agnostic formal specification language for OCaml.
  ☆154Updated last week
• LexiFi / dead_code_analyzer
  Dead-code analyzer for OCaml
  ☆96Updated this week
• mmottl / ocaml-prog-pats
  OCaml Programming Patterns - random tricks, "design patterns", etc.
  ☆52Updated 4 months ago
• jmid / mutaml
  An OCaml mutation tester
  ☆66Updated 3 weeks ago
• Gbury / mSAT
  A modular sat/smt solver with proof output.
  ☆101Updated last year
• rlepigre / ocaml-bindlib
  Efficient binder representation in OCaml
  ☆43Updated last year
• nojb / ocaml-gccjit
  OCaml bindings for libgccjit
  ☆27Updated 8 years ago
• modular-macros / ocaml-macros
  OCaml with macros
  ☆60Updated 2 months ago
• ocaml-community / cppo
  C-style preprocessor for OCaml
  ☆110Updated 3 weeks ago
• dhil / ocaml-multicont
  multi-shot continuations in OCaml
  ☆51Updated 3 weeks ago
• lindig / lua-ml
  An embeddable Lua 2.5 interpreter implemented in OCaml
  ☆130Updated last week
• let-def / grenier
  Misc algorithms in OCaml (HyperLogLog, jump consistent hashing)
  ☆71Updated last year
• tov / shcaml
  Caml-Shcaml: An Ocaml library for Unix shell programming
  ☆68Updated 6 years ago
• lpw25 / ocaml-typed-effects
  OCaml with typed algebraic effects
  ☆52Updated 7 years ago
• art-w / sherlodoc
  Fuzzy type search for OCaml documentation
  ☆85Updated last year
• janestreet / shexp
  Process library and s-expression based shell
  ☆145Updated 3 weeks ago
• mshinwell / libmonda
  Make OCaml native debugging awesome
  ☆31Updated 5 years ago
• Gbury / ocaml-memgraph
  A small library to output memory graph for ocaml values
  ☆39Updated last year
• dariusf / ppx_debug
  Tools for record-and-replay debugging
  ☆44Updated 2 years ago
• camlspotter / ocamloscope.2
  OCamlOScope 2 : OCaml API search
  ☆43Updated 8 years ago
• camlp5 / camlp5
  Preprocessor / Pretty Printer for OCaml
  ☆76Updated 2 months ago
• bobatkey / modulog
  A Datalog implementation with an OCaml inspired module system
  ☆42Updated 7 years ago