xieyuheng / logic-dbLinks
Embedding a Prolog-like logic programming language in JavasScript and TypeScript.
☆18Updated last year
Alternatives and similar repositories for logic-db
Users that are interested in logic-db are comparing it to the libraries listed below
Sorting:
- ☆14Updated 7 months ago
- Cmark.mbt is a CommonMark toolkit for MoonBit.☆26Updated last week
- Finger tree data structure for JavaScript☆26Updated last week
- ReactiveML: a programming language for implementing interactive systems.☆20Updated 2 years ago
- 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
- language verification, construction, and analysis☆20Updated 3 years ago
- High performance implementation of Immutable Sequence in JavaScript, based on Finger Tree.☆16Updated 9 years ago
- 1ML prototype interpreter☆20Updated 4 years ago
- A reference implementation of GPT-2 in Python, for teaching ML compilers☆14Updated this week
- An open-source database inspired by Datomic☆30Updated last year
- A work-in-progress structure editor for the cooltt proof assistant.☆18Updated 2 years ago
- Purely functional map and set data structures☆36Updated 2 weeks ago
- Cicada Language (solo version)☆128Updated 6 months ago
- Statically typed, high-level functional programming language.☆17Updated 3 years ago
- A minimal pure functional language based on self dependent types.☆73Updated 3 years ago
- A pretty printing library☆25Updated 6 years ago
- An optic library for ReScript (OCaml and ReasonML)☆18Updated last year
- Rust grammar for Lezer☆22Updated last year
- A high-level programming language☆39Updated 5 months ago
- Cicada Language (PLCT little team)☆93Updated 6 months ago
- Another attempt to realize my programming language☆23Updated 4 months ago
- Automatic testing of MoonBit programs☆25Updated this week
- bollu learns implementation of dependent typing☆30Updated 2 years ago
- Elaboration with inductive types☆16Updated 2 years ago
- Optimized JS codegen for Idris☆54Updated 6 years ago
- The Next Generation of Compositional Programming☆27Updated 2 weeks ago
- Accessing Agda's interaction mode via command line & external tactic for Agda.☆26Updated 4 years ago
- Formal verification for TypeScript☆20Updated 2 years ago
- https://unsafeperform.io/blog/2022-07-02-a_small_benchmark_for_functional_languages_targeting_web_browsers/☆27Updated 2 years ago
- A Wasm4 binding for MoonBit☆18Updated 4 months ago