xieyuheng / logic-db
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
- ☆14Updated 5 months ago
- Cmark.mbt is a CommonMark toolkit for MoonBit.☆26Updated 2 weeks ago
- Lore is a general-purpose programming language featuring multi-functions, structs and traits, a static type system with sum and intersect…☆18Updated last year
- High performance implementation of Immutable Sequence in JavaScript, based on Finger Tree.☆16Updated 9 years ago
- An open-source database inspired by Datomic☆30Updated last year
- A collection of utilities for matching syntax in Sweet.js macros☆13Updated 7 years ago
- Finger tree data structure for JavaScript☆26Updated last week
- Hindley Milner Type Inference in Rust☆12Updated 7 years ago
- experimental packages for moonbitlang/core☆31Updated 2 weeks ago
- QuickFix actions for Haskell in VSCode☆13Updated 3 weeks ago
- 🌊 A React UI library☆13Updated 3 years ago
- Optimized JS codegen for Idris☆54Updated 6 years ago
- Automatic testing of MoonBit programs☆25Updated last week
- Libraries and tools for topological and geometric modeling.☆18Updated 3 weeks ago
- NodeC -- A lean NodeJS in C using algebraic effect handlers.☆34Updated 6 years ago
- Game of life in MoonBit☆18Updated last year
- Sucessor: https://github.com/thautwarm/Quick-Backend☆24Updated 5 years ago
- Elaboration with inductive types☆16Updated last year
- A Wasm4 binding for MoonBit☆17Updated 2 months ago
- Parsers for Prolog, Datomic, and various other Datalog varieties.☆12Updated 7 years ago
- WebAssembly Code Generation Backend for Idris Compiler☆82Updated 6 years ago
- Formalism and proofs for esverify☆20Updated 6 years ago
- A pretty printing library☆24Updated 6 years ago
- Extra minimal TypeScript implementation of Hindley-Milner type inference☆28Updated last month
- Changes and Pinafore projects. Pull requests not accepted.☆33Updated last week
- Archive of the ES4 reference interpreter that was a work-in-progress when ES4 was cancelled.☆25Updated 11 years ago
- An experimental language server for SomewhatML☆24Updated 2 years ago
- Implementation of "Sound and Complete Bidirectional Typechecking..." by Dunfield and Krishnaswami, POPL 2019☆11Updated 5 years ago
- Just-In-Time compiler for the OCaml byte-code runtime.☆32Updated 13 years ago
- Don't look, I'm just playing with a B+-tree implementation which may or may not turn into a PALM tree.☆26Updated 4 years ago