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 3 months ago
- Cmark.mbt is a CommonMark toolkit for MoonBit.☆25Updated last week
- Lore is a general-purpose programming language featuring multi-functions, structs and traits, a static type system with sum and intersect…☆18Updated last year
- The MLPolyR programming language, revived☆24Updated 4 years ago
- ReactiveML: a programming language for implementing interactive systems.☆20Updated 2 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
- Finger tree data structure for JavaScript☆26Updated last week
- A work-in-progress structure editor for the cooltt proof assistant.☆18Updated 2 years ago
- an implementation of Observational Type Theory (OTT) and more☆26Updated 2 years ago
- Compiler for a subset of the ML (really OCaml) language. LLVM is used as a backend.☆32Updated 3 years ago
- A pretty printing library☆24Updated 6 years ago
- Libraries and tools for topological and geometric modeling.☆18Updated 4 years ago
- An experimental language server for SomewhatML☆24Updated 2 years ago
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated last month
- Cicada Language (PLCT little team)☆92Updated last month
- A pretty-printing combinator library for OCaml☆49Updated 6 months ago
- A compiler and run-time system to compile and run Curry programs as Go programs☆23Updated 3 months ago
- language verification, construction, and analysis☆20Updated 2 years ago
- a tutorial implementation on an elaborator of a dependently typed language with pruning☆23Updated 2 years ago
- RFCs of MoonBit lang☆17Updated 10 months ago
- Just-In-Time compiler for the OCaml byte-code runtime.☆32Updated 13 years ago
- TEA web UI framework for MoonBit. WIP☆16Updated this week
- (WIP) Dependently-typed programming language with Agda style dependent pattern matching☆80Updated 4 years ago
- High performance implementation of Immutable Sequence in JavaScript, based on Finger Tree.☆16Updated 9 years ago
- Some rudimentary proofs on subtyping☆11Updated 3 years ago
- Multiplication on optimal λ-calculus reducers☆22Updated 4 years ago