xieyuheng / logic-db
Embedding a Prolog-like logic programming language in JavasScript and TypeScript.
☆17Updated last year
Related projects ⓘ
Alternatives and complementary repositories for logic-db
- ☆13Updated 3 weeks ago
- Automatic testing of MoonBit programs☆16Updated this week
- Purely functional data structures in Koka☆9Updated 3 years ago
- Elaboration with inductive types☆16Updated last year
- Cicada Language (PLCT little team)☆92Updated 3 weeks ago
- A work-in-progress structure editor for the cooltt proof assistant.☆18Updated 2 years ago
- ReactiveML: a programming language for implementing interactive systems.☆20Updated 2 years ago
- A newborn programming language for extensible software☆16Updated 2 years ago
- Libraries and tools for topological and geometric modeling.☆19Updated 4 years ago
- A high-level programming language☆36Updated this week
- programming languages invented/implemented by myself.☆8Updated last year
- an implementation of Observational Type Theory (OTT) and more☆26Updated 2 years ago
- Cicada Language (solo version)☆128Updated 3 weeks ago
- UI library written by moonbit-lang☆20Updated last month
- ☆11Updated this week
- Lore is a general-purpose programming language featuring multi-functions, structs and traits, a static type system with sum and intersect…☆17Updated last year
- ☆11Updated 3 weeks ago
- The MLPolyR programming language, revived☆24Updated 4 years ago
- RFCs of MoonBit lang☆17Updated 7 months ago
- k theorem prover☆11Updated 2 years ago
- An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types☆90Updated last year
- (WIP) Dependently-typed programming language with Agda style dependent pattern matching☆79Updated 4 years ago
- a tutorial implementation on an elaborator of a dependently typed language with pruning☆22Updated 2 years ago
- Extra minimal TypeScript implementation of Hindley-Milner type inference☆25Updated 2 months ago
- Lisp-like language to WebAssembly build with racket☆22Updated 6 years ago
- A well-documented minimal dependently-typed language for my friend Lyzh☆25Updated 3 months ago
- A compiler and run-time system to compile and run Curry programs as Go programs☆22Updated this week
- An experimental language server for SomewhatML☆24Updated last year