ice1000 / guest0x0Links
Neon lights in the night tonight and stars that shine in the open sky
β45Updated 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 3 years ago
- Constructive Interpretations of HoTTβ36Updated 5 years ago
- an implementation of Observational Type Theory (OTT) and moreβ29Updated 3 years ago
- Elaboration with inductive typesβ16Updated 2 years ago
- β22Updated last year
- a tutorial implementation on an elaborator of a dependently typed language with pruningβ26Updated 3 years ago
- Prune is a constraint logic programming language with branching heuristic.β30Updated this week
- A toy IO library for Arendβ18Updated 4 years ago
- Documented version of a simple type-theoretic language: Mini-TTβ18Updated 6 years ago
- ShiTT is a toy proof assistant. (This project will be rewritten soon)β38Updated last month
- (WIP) Dependently-typed programming language with Agda style dependent pattern matchingβ80Updated 5 years ago
- εειιζ³η»δΉ in OCamlβ34Updated 3 years ago
- Learn Lean 4 with PLFA proofs.β92Updated 6 months ago
- Benchmarking various normalization algorithms for the lambda calculusβ47Updated 3 years ago
- Programming Language Foundations in Leanβ43Updated 3 months ago
- a proof-of-concept programming language based on call-by-push-valueβ56Updated last month
- Normalization by evaluation of simply typed combinators.β26Updated 3 years ago
- being an operating system for typechecking processesβ130Updated 3 weeks ago
- mirror of A simple type-theoretic language: Mini-TTβ40Updated 8 years ago
- Distributions of Agda executable compiled into WebAssembly.β21Updated 2 weeks ago
- A well-documented minimal dependently-typed language for my friend Lyzhβ27Updated 8 months ago
- Cicada Language (solo version)β129Updated 10 months ago
- Stacks project, from a homotopy type theory point-of-view (hPOV)β14Updated 5 years ago
- Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rustβ120Updated 5 years ago
- Conference on Homotopy Type Theory 2023β13Updated last year
- Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)β18Updated last year
- Coq formalizations and proofs of (data) structures and algorithms.β47Updated 7 years ago
- A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.β45Updated 7 months ago
- The MLPolyR programming language, revivedβ25Updated 5 years ago
- Efficient effect handlers based on Evidence Passing Semantics.β32Updated 4 years ago