xieyuheng / logic-dbLinks
Embedding a Prolog-like logic programming language in JavasScript and TypeScript.
☆18Updated 2 years ago
Alternatives and similar repositories for logic-db
Users that are interested in logic-db are comparing it to the libraries listed below
Sorting:
- Cicada Language (solo version)☆129Updated 9 months ago
- Cicada Language (PLCT little team)☆94Updated 9 months ago
- Optimized JS codegen for Idris☆54Updated 7 years ago
- async programming library for MoonBit☆47Updated this week
- ☆14Updated 11 months ago
- Automatic testing of MoonBit programs☆26Updated this week
- (WIP) Dependently-typed programming language with Agda style dependent pattern matching☆80Updated 5 years ago
- The MLPolyR programming language, revived☆25Updated 4 years ago
- Cmark.mbt is a CommonMark toolkit for MoonBit.☆29Updated 3 weeks ago
- 用作文档目的，翻译方式见 Issue #10☆41Updated 6 years ago
- Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust☆119Updated 5 years ago
- Frank compiler☆299Updated last year
- IntelliJ plugin for several experimental programming languages here☆36Updated 3 years ago
- Dependently-typed row-polymorphic programming language, evolved from minitt-rs☆99Updated 5 years ago
- Compile and run Constraint Handling Rules (CHR) in JavaScript☆105Updated last year
- WebAssembly Code Generation Backend for Idris Compiler☆82Updated 7 years ago
- An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types☆90Updated 2 years ago
- A newborn programming language for extensible software☆16Updated 3 years ago
- Neon lights in the night tonight and stars that shine in the open sky☆44Updated last year
- an implementation of Observational Type Theory (OTT) and more☆28Updated 2 years ago
- A comparison of how computational effects and handlers are implemented in various programming languages.☆143Updated 6 years ago
- RowScript programming language, making a better browser world☆123Updated last month
- Elaboration with inductive types☆16Updated 2 years ago
- A high-level programming language☆40Updated 8 months ago
- A compiler and run-time system to compile and run Curry programs as Go programs☆35Updated 4 months ago
- Visual Studio Code integration for the Idris 2 language server☆31Updated 11 months ago
- Refinement Types for Scripting Languages☆69Updated 6 years ago
- Idris front-end for VS Code☆60Updated 2 years ago
- being an operating system for typechecking processes☆130Updated 2 years ago
- The Next Generation of Compositional Programming☆54Updated last month