Alternatives and similar repositories for j3

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

• jaredly / jerd
  ☆37Updated 3 years ago
• janestreet / incr_map
  Helpers for incremental operations on map like data structures.
  ☆26Updated last week
• jaredly / myntax
  ☆52Updated 6 years ago
• janestreet / higher_kinded
  A library with an encoding of higher kinded types in OCaml
  ☆40Updated last week
• cdfa / frugel
  An error-tolerant live programming environment (my Master's thesis)
  ☆19Updated 2 years ago
• unisonweb / codebase-ui
  Unison Codebase UI
  ☆46Updated 2 years ago
• Risto-Stevcev / bs-effects
  Bucklescript data structures for effectful sync and async programming
  ☆37Updated 5 years ago
• pachadb / pachadb
  an edge database
  ☆29Updated 10 months ago
• fkettelhoit / bottom-up-datalog-js
  A very short and simple implementation of (bottom-up) Datalog in JS
  ☆31Updated 12 years ago
• dawn-lang / ucc
  Untyped Concatenative Calculus
  ☆19Updated 3 years ago
• bertas / hm_prolog
  A Hindley-Milner type inference implementation in Prolog
  ☆13Updated 10 years ago
• ManasJayanth / reason-on-multicore
  Writing multicore programs with Reason
  ☆15Updated 4 years ago
• mzp / bs-lwt
  BuckleScript bindings for Lwt
  ☆26Updated 8 years ago
• af / shmup.re
  Learning Reason/OCaml by making an old-school canvas game.
  ☆25Updated 7 years ago
• slightknack / effective
  Messing around with delimited continuations, fibers, and algebraic effects
  ☆15Updated 3 years ago
• broom-lang / broom
  A programming language with first-class modules and algebraic effects.
  ☆14Updated 2 years ago
• Denommus / react-react
  Integrating ReasonReact with Erratique's React!
  ☆35Updated 5 months ago
• avsm / ocaml-lens
  Private extraction of astrada's lens library
  ☆66Updated 4 years ago
• hypirion / haskell-transducers
  Clojure's Transducers in Haskell
  ☆40Updated 9 years ago
• brendanzab / elm-stlc
  Bidirectional type checker for the simply typed lambda calculus
  ☆14Updated 5 years ago
• leostera / q-lang
  ☆14Updated last year
• fplab / ui-for-pl
  User Interfaces for Programming Languages: The Compendium
  ☆28Updated 4 years ago
• fluffynukeit / scbt
  Implementation of "Sound and Complete Bidirectional Typechecking..." by Dunfield and Krishnaswami, POPL 2019
  ☆11Updated 5 years ago
• liphe / delisp
  A statically typed Lisp dialect with algebraic effect system compiling to Javascript
  ☆41Updated 2 years ago
• argumentcomputer / introit
  The Yatima Standard Library
  ☆20Updated last year
• TheClause / learn-prolog
  Bringing Prolog to the masses.
  ☆36Updated 3 years ago
• dysinger / restack
  Full Stack ReasonML Tutorials
  ☆229Updated 4 years ago
• jserot / fsml
  An OCaml library for describing and simulating synchronous finite state machines")
  ☆33Updated 4 years ago
• cara-lang / compiler
  Cara language compiler
  ☆45Updated last month
• madgen / datalog-crdt
  Some CRDT implementations in Datalog
  ☆16Updated 6 years ago