Alternatives and similar repositories for j3

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

• jaredly / jerd
  ☆37Updated 4 years ago
• jaredly / myntax
  ☆52Updated 6 years ago
• janestreet / incr_map
  Helpers for incremental operations on map like data structures.
  ☆27Updated 2 weeks ago
• cdfa / frugel
  An error-tolerant live programming environment (my Master's thesis)
  ☆19Updated 3 years ago
• fplab / ui-for-pl
  User Interfaces for Programming Languages: The Compendium
  ☆28Updated 4 years ago
• robotlolita / tamago
  (superseded by: https://github.com/qteatime/crochet) A safe, extensible, layered programming language that runs on top of JavaScript
  ☆32Updated 2 years ago
• hazelgrove / diy-hazelnut
  A template for you to implement Hazelnut yourself
  ☆22Updated 4 months ago
• unisonweb / codebase-ui
  Unison Codebase UI
  ☆46Updated 3 years ago
• avsm / ocaml-lens
  Private extraction of astrada's lens library
  ☆65Updated 4 years ago
• abarbu / servant-reason
  Automatically derive bindings for Servant APIs in Reason
  ☆12Updated 6 years ago
• jaredly / unison.rs
  ☆70Updated 3 years ago
• PLTools / OCanren
  Statically typed embedding of miniKanren relational programming language into OCaml
  ☆119Updated last month
• af / shmup.re
  Learning Reason/OCaml by making an old-school canvas game.
  ☆25Updated 8 years ago
• grain-lang / binaryen.ml
  OCaml bindings for Binaryen.
  ☆52Updated last week
• keil / TreatJS
  Higher-Order Contracts for JavaScript
  ☆14Updated 8 years ago
• dmbarbour / glas
  Glas language system supports a deterministic build system with user-defined syntax, and an alternative vision of applications.
  ☆22Updated last week
• chrisamaphone / ml-mukanren
  microkanren in sml
  ☆26Updated 10 years ago
• FrankBro / ordo
  Ordo: A minimalist language with row polymorphism
  ☆85Updated 7 months ago
• joelburget / lvca
  language verification, construction, and analysis
  ☆20Updated 3 years ago
• brendanzab / elm-stlc
  Bidirectional type checker for the simply typed lambda calculus
  ☆15Updated 5 years ago
• janestreet / higher_kinded
  A library with an encoding of higher kinded types in OCaml
  ☆42Updated last month
• janestreet / virtual_dom
  OCaml bindings for the virtual-dom library
  ☆57Updated 2 weeks ago
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated last year
• murmour / mparser
  A simple monadic parser combinator library for OCaml
  ☆69Updated 3 years ago
• remixlabs / wasicaml
  Translate OCaml bytecode to WebAssembly
  ☆133Updated 10 months ago
• Risto-Stevcev / bs-effects
  Bucklescript data structures for effectful sync and async programming
  ☆35Updated 5 years ago
• leostera / q-lang
  ☆14Updated 2 years ago
• liphe / delisp
  A statically typed Lisp dialect with algebraic effect system compiling to Javascript
  ☆42Updated 2 years ago
• pachadb / pachadb
  an edge database
  ☆30Updated last year
• geoffreylitt / mini-adapton
  Typescript Implementation of mini-adapton (https://arxiv.org/pdf/1609.05337.pdf)
  ☆24Updated 3 years ago