Alternatives and similar repositories for j3:

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

• jaredly / jerd
  ☆36Updated 3 years ago
• jaredly / myntax
  ☆51Updated 6 years ago
• cdfa / frugel
  An error-tolerant live programming environment (my Master's thesis)
  ☆18Updated 2 years ago
• janestreet / higher_kinded
  A library with an encoding of higher kinded types in OCaml
  ☆40Updated 3 months ago
• janestreet / incr_map
  Helpers for incremental operations on map like data structures.
  ☆26Updated 2 months ago
• grain-lang / binaryen.ml
  OCaml bindings for Binaryen.
  ☆49Updated this week
• Risto-Stevcev / bs-effects
  Bucklescript data structures for effectful sync and async programming
  ☆37Updated 5 years ago
• avsm / ocaml-lens
  Private extraction of astrada's lens library
  ☆66Updated 3 years ago
• jaredly / unison.rs
  ☆68Updated 2 years ago
• unisonweb / codebase-ui
  Unison Codebase UI
  ☆46Updated 2 years ago
• joelburget / lvca
  language verification, construction, and analysis
  ☆20Updated 2 years ago
• argumentcomputer / introit
  The Yatima Standard Library
  ☆20Updated last year
• slightknack / effective
  Messing around with delimited continuations, fibers, and algebraic effects
  ☆15Updated 3 years ago
• FrankBro / ordo
  Ordo: A minimalist language with row polymorphism
  ☆82Updated 7 months ago
• pachadb / pachadb
  an edge database
  ☆28Updated 6 months ago
• ELLIOTTCABLE / bs-deriving
  Type-driven code generation for OCaml, ReasonML, and BuckleScript
  ☆42Updated 2 years ago
• geoffreylitt / mini-adapton
  Typescript Implementation of mini-adapton (https://arxiv.org/pdf/1609.05337.pdf)
  ☆25Updated 3 years ago
• lemaetech / reparse
  Reparse is a monadic, recursive descent based, comprehensive parser construction library for ocaml.
  ☆53Updated 3 years ago
• scoville / re-optic
  An optic library for ReScript (OCaml and ReasonML)
  ☆18Updated last year
• hazelgrove / diy-hazelnut
  A template for you to implement Hazelnut yourself
  ☆21Updated last month
• ocaml-flambda / ocaml-jst
  OCaml plus Jane Street extensions
  ☆74Updated 7 months ago
• corwin-of-amber / ocaml-wasm
  The core OCaml system: compilers, runtime system, base libraries; WebAssembly port based on wasi-kernel
  ☆43Updated 2 years ago
• jaredly / reason-lisp-example
  An example of using the lisp syntax for reason/ocaml
  ☆36Updated 6 years ago
• fluffynukeit / scbt
  Implementation of "Sound and Complete Bidirectional Typechecking..." by Dunfield and Krishnaswami, POPL 2019
  ☆11Updated 5 years ago
• mzp / bs-lwt
  BuckleScript bindings for Lwt
  ☆26Updated 7 years ago
• brendanzab / elm-stlc
  Bidirectional type checker for the simply typed lambda calculus
  ☆14Updated 5 years ago
• fkettelhoit / bottom-up-datalog-js
  A very short and simple implementation of (bottom-up) Datalog in JS
  ☆30Updated 11 years ago
• Denommus / react-react
  Integrating ReasonReact with Erratique's React!
  ☆35Updated last month
• Innf107 / vega
  A dependently typed programming language with direct style effects and linearity
  ☆19Updated 6 months ago