ice1000 / guest0x0Links
Neon lights in the night tonight and stars that shine in the open sky
β44Updated last year
Alternatives and similar repositories for guest0x0
Users that are interested in guest0x0 are comparing it to the libraries listed below
Sorting:
- π§ A Elbereth Gilthoniel / silivren penna mΓriel! πβ19Updated 2 years ago
- A toy IO library for Arendβ18Updated 4 years ago
- Elaboration with inductive typesβ16Updated 2 years ago
- Constructive Interpretations of HoTTβ36Updated 4 years ago
- A well-documented minimal dependently-typed language for my friend Lyzhβ27Updated 3 months ago
- εειιζ³η»δΉ in OCamlβ33Updated 3 years ago
- a tutorial implementation on an elaborator of a dependently typed language with pruningβ23Updated 2 years ago
- Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)β18Updated 10 months ago
- Very simple, explicit parameters-only dependent type elaborator.β10Updated 4 years ago
- an implementation of Observational Type Theory (OTT) and moreβ26Updated 2 years ago
- Normalization by evaluation of simply typed combinators.β26Updated 3 years ago
- Resume (template) written in Typstβ10Updated last month
- Benchmarking various normalization algorithms for the lambda calculusβ45Updated 2 years ago
- π¦ Implementations of various type inference algorithms. Online interactive playground is available at https://zoo.cuichen.cc/β27Updated last month
- β22Updated last year
- β16Updated 3 years ago
- Stacks project, from a homotopy type theory point-of-view (hPOV)β14Updated 4 years ago
- Mathematical notes and papersβ26Updated 2 weeks ago
- β11Updated 2 months ago
- Conference on Homotopy Type Theory 2023β13Updated last year
- Distributions of Agda executable compiled into WebAssembly.β16Updated 2 months ago
- Meta-theory and normalization for Fitch-style modal lambda calculiβ18Updated last year
- Term project for TaPL. A mini coq-like proof assistant.β17Updated 6 years ago
- (WIP) Dependently-typed programming language with Agda style dependent pattern matchingβ80Updated 4 years ago
- My type-ups for copilot to learn from.β11Updated 2 years ago
- mirror of A simple type-theoretic language: Mini-TTβ40Updated 8 years ago
- Tiny theorem prover with syntax like Lean 4 in <1K LOCβ25Updated last month
- ShiTT is a toy proof assistant. (This project will be rewritten soon)β34Updated 6 months ago
- A collection of PLT researchingβ29Updated 3 months ago
- Documented version of a simple type-theoretic language: Mini-TTβ18Updated 6 years ago