Alternatives and similar repositories for sawja

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

• yallop / ocaml-asp
  Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc
  ☆103Updated 6 months ago
• LexiFi / landmarks
  A Simple Profiling Library for OCaml
  ☆134Updated 10 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 2 months ago
• modular-macros / ocaml-macros
  OCaml with macros
  ☆60Updated last month
• lindig / lua-ml
  An embeddable Lua 2.5 interpreter implemented in OCaml
  ☆130Updated 8 months ago
• LexiFi / dead_code_analyzer
  Dead-code analyzer for OCaml
  ☆95Updated last week
• dbuenzli / down
  An OCaml toplevel (REPL) upgrade
  ☆93Updated 3 months ago
• gasche / ocaml-releases-change-explanation
  A crowd-sourced document that details the changes in upcoming OCaml releases, in particular explains compatibility-breaking changes and p…
  ☆28Updated 8 years ago
• metaocaml / ber-metaocaml
  Unofficial git mirror of the BER MetaOCaml patchset.
  ☆69Updated 6 months ago
• jmid / mutaml
  An OCaml mutation tester
  ☆66Updated 2 months ago
• lthms / FreeSpec
  A framework for implementing and certifying impure computations in Coq
  ☆53Updated last year
• janestreet / shexp
  Process library and s-expression based shell
  ☆145Updated last week
• nanocaml / nanocaml
  Nanopass for OCaml
  ☆149Updated 7 years ago
• let-def / grenier
  Misc algorithms in OCaml (HyperLogLog, jump consistent hashing)
  ☆71Updated last year
• rlepigre / ocaml-bindlib
  Efficient binder representation in OCaml
  ☆43Updated last year
• objmagic / jaw
  Code using GADT
  ☆40Updated 4 years ago
• johnwhitington / ocamli
  OCaml interpreter
  ☆102Updated 6 years ago
• Ekdohibs / joujou
  A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …
  ☆90Updated 6 years ago
• axiles / ocaml-efl
  An OCaml interface to the Enlightenment Foundation Libraries (EFL) and Elementary
  ☆27Updated 2 years ago
• ocaml-gospel / cameleer
  A Deductive Verification Tool for OCaml Programs
  ☆75Updated last month
• stedolan / ppx_stage
  Staged metaprogramming in stock OCaml
  ☆154Updated last year
• Gbury / mSAT
  A modular sat/smt solver with proof output.
  ☆101Updated last year
• ocaml-gospel / gospel
  A tool-agnostic formal specification language for OCaml.
  ☆152Updated last week
• mirage / ocaml-cstruct
  Map OCaml arrays onto C-like structs
  ☆113Updated 8 months ago
• ocaml-community / cppo
  C-style preprocessor for OCaml
  ☆110Updated 3 weeks ago
• nojb / ocaml-gccjit
  OCaml bindings for libgccjit
  ☆27Updated 8 years ago
• camlspotter / ocamloscope.2
  OCamlOScope 2 : OCaml API search
  ☆43Updated 8 years ago
• mirage / awa-ssh
  Purely functional SSH library in ocaml.
  ☆104Updated 5 months ago
• murmour / mparser
  A simple monadic parser combinator library for OCaml
  ☆69Updated 3 years ago