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 8 months ago
• moonbit-community / cmark.mbt
  Cmark.mbt is a CommonMark toolkit for MoonBit.
  ☆27Updated 3 weeks ago
• functional-data-structure / finger-tree
  Finger tree data structure for JavaScript
  ☆26Updated this week
• yzyzsun / CP-next
  The Next Generation of Compositional Programming
  ☆52Updated 3 weeks 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 2 years ago
• rchowell / Sift
  Sift is a basic, Relational Algebra based query engine built on top of Apache Arrow. It draws inspiration from Andy Grove's KQuery.
  ☆22Updated 3 years ago
• 1ml-prime / 1ml
  1ML prototype interpreter
  ☆20Updated 4 years ago
• lpeterse / koka
  A function-oriented language with effect inference
  ☆18Updated 11 years ago
• xieyuheng / cell-complex
  Libraries and tools for topological and geometric modeling.
  ☆18Updated 3 months ago
• be5invis / PatEL
  The Patrisika Example Language
  ☆45Updated 7 months ago
• moonbitlang / x
  experimental packages for moonbitlang/core
  ☆39Updated last week
• lezer-parser / rust
  Rust grammar for Lezer
  ☆22Updated last year
• HigherOrderCO / FormCoreJS
  A minimal pure functional language based on self dependent types.
  ☆73Updated 3 years ago
• manuel-serrano / hiphop
  Reactive Web Programming
  ☆28Updated 3 weeks ago
• moonbitlang / moonbit-textbook
  ☆11Updated 10 months ago
• owo-lang / narc-rs
  (WIP) Dependently-typed programming language with Agda style dependent pattern matching
  ☆80Updated 4 years ago
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated 2 years ago
• matijapretnar / millet
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆28Updated 6 months ago
• MatthewFluet / tree-sitter-sml
  Standard ML (SML) grammar for tree-sitter
  ☆15Updated last month
• koka-lang / nodec
  NodeC -- A lean NodeJS in C using algebraic effect handlers.
  ☆34Updated 6 years ago
• 0xd34df00d / refinedt
  Refinement types + dependent types = ❤️
  ☆58Updated 2 years ago
• urweb / upo
  The Ur/Web People Organizer
  ☆30Updated last year
• formal-land / coq-of-ts
  Formal verification for TypeScript
  ☆20Updated 2 years ago
• cicada-lang / cicada-plct
  Cicada Language (PLCT little team)
  ☆93Updated 6 months ago
• mununki / moonbit-wasm-game-of-life
  Game of life in MoonBit
  ☆20Updated 2 months ago
• reactiveml / rml
  ReactiveML: a programming language for implementing interactive systems.
  ☆20Updated 2 years ago
• be5invis / idris-codegen-es
  Optimized JS codegen for Idris
  ☆54Updated 6 years ago
• joelburget / lvca
  language verification, construction, and analysis
  ☆20Updated 3 years ago
• levjj / esverify-theory
  Formalism and proofs for esverify
  ☆19Updated 7 years ago
• unisonweb / unisonweb-org
  Source for the unisonweb.org website
  ☆39Updated 2 years ago