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 this week
- 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
- Finger tree data structure for JavaScript☆26Updated this week
- ReactiveML: a programming language for implementing interactive systems.☆20Updated 2 years ago
- Statically typed, high-level functional programming language.☆17Updated 3 years ago
- 1ML prototype interpreter☆19Updated 4 years ago
- Documented version of a simple type-theoretic language: Mini-TT☆18Updated 6 years ago
- Formalism and proofs for esverify☆20Updated 7 years ago
- bollu learns implementation of dependent typing☆30Updated 2 years ago
- An experimental language server for SomewhatML☆24Updated 2 years ago
- A pretty printing library☆24Updated 6 years ago
- Multiplication on optimal λ-calculus reducers☆22Updated 4 years ago
- An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types☆90Updated 2 years ago
- https://unsafeperform.io/blog/2022-07-02-a_small_benchmark_for_functional_languages_targeting_web_browsers/☆27Updated last year
- Formal verification for TypeScript☆18Updated 2 years ago
- Standard library for the Formality language☆18Updated 5 years ago
- A library for non-deterministically parsing natural language expressions into a structured form.☆17Updated 2 years ago
- A hackable notes-spreadsheet-hybrid for programmers☆15Updated 7 months ago
- A toy JS to ARM assembly compiler, in Haskell☆16Updated 3 years ago
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated 4 months ago
- Rust grammar for Lezer☆22Updated last year
- Implementation of "Sound and Complete Bidirectional Typechecking..." by Dunfield and Krishnaswami, POPL 2019☆11Updated 5 years ago
- A template for you to implement Hazelnut yourself☆22Updated this week
- The Patrisika Example Language☆45Updated 6 months ago
- (WIP) Dependently-typed programming language with Agda style dependent pattern matching☆80Updated 4 years ago
- dependently-typed lisp with flexible compiler backends☆27Updated 6 years ago
- Elaboration with inductive types☆16Updated 2 years ago
- small programming language. pls be gentle.☆39Updated last month