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 4 months ago
- Cmark.mbt is a CommonMark toolkit for MoonBit.☆26Updated this week
- Finger tree data structure for JavaScript☆26Updated 2 weeks ago
- 1ML prototype interpreter☆19Updated 4 years ago
- language verification, construction, and analysis☆20Updated 2 years ago
- ReactiveML: a programming language for implementing interactive systems.☆20Updated 2 years ago
- High performance implementation of Immutable Sequence in JavaScript, based on Finger Tree.☆16Updated 9 years 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
- Multiplication on optimal λ-calculus reducers☆22Updated 4 years ago
- Automatic testing of MoonBit programs☆23Updated last week
- Optimized JS codegen for Idris☆54Updated 6 years ago
- A compiler and run-time system to compile and run Curry programs as Go programs☆24Updated 4 months ago
- Game of life in MoonBit☆18Updated last year
- A work-in-progress structure editor for the cooltt proof assistant.☆18Updated 2 years ago
- A template for you to implement Hazelnut yourself☆21Updated 2 months ago
- An interpreter of F-ing modules☆18Updated 5 years ago
- TEA web UI framework for MoonBit. WIP☆20Updated 3 weeks ago
- An optic library for ReScript (OCaml and ReasonML)☆18Updated last year
- Documented version of a simple type-theoretic language: Mini-TT☆18Updated 5 years ago
- an implementation of Observational Type Theory (OTT) and more☆26Updated 2 years ago
- An approach to user interfaces based in denotational design.☆26Updated 2 years ago
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated 2 months ago
- An experimental language server for SomewhatML☆24Updated 2 years ago
- Dependently typed programming language written in Haskell☆22Updated 3 years ago
- Formalism and proofs for esverify☆20Updated 6 years ago
- QuickFix actions for Haskell in VSCode☆13Updated last month
- just another compiler experiment☆14Updated 8 years ago
- Cicada Language (PLCT little team)☆92Updated 3 months ago
- Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++☆28Updated 9 months ago
- MLpolyR☆7Updated 8 years ago