xieyuheng / logic-db
Embedding a Prolog-like logic programming language in JavasScript and TypeScript.
☆17Updated last year
Related projects: ⓘ
- Purely functional data structures in Koka☆9Updated 2 years ago
- ☆10Updated this week
- ☆17Updated this week
- Libraries and tools for topological and geometric modeling.☆19Updated 4 years ago
- Elaboration with inductive types☆16Updated last year
- programming languages invented/implemented by myself.☆8Updated last year
- Cicada Language (PLCT little team)☆91Updated 4 months ago
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆19Updated 2 years ago
- A work-in-progress structure editor for the cooltt proof assistant.☆18Updated 2 years ago
- Cicada Language (solo version)☆128Updated 4 months ago
- (WIP) Dependently-typed programming language with Agda style dependent pattern matching☆79Updated 3 years ago
- The MLPolyR programming language, revived☆24Updated 3 years ago
- A toy IO library for Arend☆18Updated 3 years ago
- A well-documented minimal dependently-typed language for my friend Lyzh☆24Updated last month
- Optimized JS codegen for Idris☆54Updated 6 years ago
- An experimental language server for SomewhatML☆23Updated last year
- A ML-like pure functional language that can be used as a template for creating your own language☆26Updated last year
- Sucessor: https://github.com/thautwarm/Quick-Backend☆24Updated 4 years ago
- an implementation of Observational Type Theory (OTT) and more☆25Updated last year
- Hindley Milner Type Inference in Rust☆12Updated 6 years ago
- Neon lights in the night tonight and stars that shine in the open sky☆43Updated 9 months ago
- 🌊 A React UI library☆13Updated 2 years ago
- Documented version of a simple type-theoretic language: Mini-TT☆18Updated 5 years ago
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆48Updated 2 years ago
- ☆45Updated this week
- type-system, revised unification algorithm and runtime time representations☆12Updated 4 years ago
- a tutorial implementation on an elaborator of a dependently typed language with pruning☆22Updated last year
- Original posting, a.k.a. OP, is an ALL-IN-ONE markup language for cyber wizards to create documentations and blog pages.☆12Updated last year
- Stacks project, from a homotopy type theory point-of-view (hPOV)☆14Updated 3 years ago
- Successor project: https://github.com/thautwarm/Quick-Backend☆24Updated 5 years ago