RiscInside / LanguageEtudes
Components of programming languages, all implemented in self-contained files
☆9Updated 8 months ago
Related projects ⓘ
Alternatives and complementary repositories for LanguageEtudes
- Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…☆14Updated 6 months ago
- WIP stack language that uses regex for control flow☆40Updated last year
- A functional programming language, mirroring Erlang and Go, but with more OCaml!☆22Updated 2 weeks ago
- Prolog + SMT☆7Updated 4 years ago
- A compiler and runtime for normalizing the untyped λ-calculus☆31Updated 2 years ago
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆38Updated 4 years ago
- Duo - A research language exploring duality in programming language design☆57Updated last year
- Changes and Pinafore projects. Pull requests not accepted.☆32Updated this week
- [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…☆64Updated 9 months ago
- A dependent type theory with user defined data types☆45Updated 3 years ago
- A type theory for tiny objects☆10Updated 11 months ago
- A WIP little dependently-typed systems language☆37Updated 3 months ago
- Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-ty…☆25Updated 2 years ago
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"☆30Updated 4 months ago
- Minimalistic dependent type theory with syntactic metaprogramming☆55Updated 5 months ago
- 🪆 A Staged Type Theory☆34Updated last year
- A Language with Dependent Data and Codata Types☆57Updated this week
- A simple functional programming language.☆21Updated 3 years ago
- Package manager for Idris☆35Updated 2 years ago
- Improved type safety with tight TypeScript interop☆14Updated last month
- A simple implementation of XTT, "A cubical language for Bishop sets"☆26Updated 2 years ago
- Refinement types + dependent types = ❤️☆58Updated 2 years ago
- Lambda normalization and conversion checking benchmarks for various implementations☆55Updated 3 years ago
- A core language and API for dependently typed languages☆89Updated 11 months ago
- A verified compiler for a lazy functional language☆32Updated last month
- Demo for dependent types + runtime code generation☆54Updated this week
- A small implementation of graded modal dependent type theory. A younger cousin to Granule.☆53Updated 7 months ago