Alternatives and similar repositories for logic-db:

Users that are interested in logic-db are comparing it to the libraries listed below

• zxch3n / moon-crdt
  ☆14Updated 2 months ago
• functional-data-structure / finger-tree
  Finger tree data structure for JavaScript
  ☆26Updated this week
• LutrisEng / datom-rs
  An open-source database inspired by Datomic
  ☆30Updated last year
• effect-handlers / wasm-effect-handlers
  WebAssembly specification, reference interpreter, and test suite with effect handlers extension.
  ☆32Updated 2 years ago
• polytypic / prettier-printer
  A pretty printing library
  ☆24Updated 6 years ago
• 1ml-prime / 1ml
  1ML prototype interpreter
  ☆19Updated 4 years ago
• reactiveml / rml
  ReactiveML: a programming language for implementing interactive systems.
  ☆20Updated 2 years ago
• SchrodingerZhu / koka-collections
  Purely functional data structures in Koka
  ☆9Updated 3 years ago
• qiao / immutable-sequence.js
  High performance implementation of Immutable Sequence in JavaScript, based on Finger Tree.
  ☆16Updated 9 years ago
• lezer-parser / rust
  Rust grammar for Lezer
  ☆22Updated 11 months ago
• lpeterse / koka
  A function-oriented language with effect inference
  ☆19Updated 10 years ago
• tweag / haskell-binaryen
  Haskell bindings to binaryen.
  ☆13Updated 3 years ago
• matijapretnar / millet
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆28Updated this week
• xnning / Row-and-Bounded-via-Disjoint
  Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.
  ☆13Updated 4 years ago
• moonbitlang / quickcheck
  Automatic testing of MoonBit programs
  ☆19Updated this week
• hazelgrove / diy-hazelnut
  A template for you to implement Hazelnut yourself
  ☆20Updated this week
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated 2 years ago
• formal-land / coq-of-ts
  Formal verification for TypeScript
  ☆14Updated last year
• ice1000 / anqur
  Elaboration with inductive types
  ☆16Updated last year
• fluffynukeit / scbt
  Implementation of "Sound and Complete Bidirectional Typechecking..." by Dunfield and Krishnaswami, POPL 2019
  ☆11Updated 5 years ago
• andrejbauer / partial-combinatory-algebras
  A Lean 4 formalization of partial combinatory algebras.
  ☆12Updated last week
• mununki / moonbit-wasm-game-of-life
  Game of life in MoonBit
  ☆18Updated last year
• VictorTaelin / optimul
  Multiplication on optimal λ-calculus reducers
  ☆22Updated 4 years ago
• ezrakilty / narc
  Nested Relational Calculus embedded in Haskell
  ☆16Updated 12 years ago
• joelburget / lvca
  language verification, construction, and analysis
  ☆20Updated 2 years ago
• marcopennekamp / lore
  Lore is a general-purpose programming language featuring multi-functions, structs and traits, a static type system with sum and intersect…
  ☆18Updated last year
• rescript-lang / std
  Light weight runtime for ReScript
  ☆15Updated last year
• OCamlPro / mikino_bin
  A simple induction and BMC engine.
  ☆23Updated 2 years 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