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 3 years ago
- Constructive Interpretations of HoTTβ36Updated 4 years ago
- an implementation of Observational Type Theory (OTT) and moreβ26Updated 2 years ago
- Elaboration with inductive typesβ16Updated 2 years ago
- εειιζ³η»δΉ in OCamlβ33Updated 3 years ago
- A toy IO library for Arendβ18Updated 4 years ago
- a tutorial implementation on an elaborator of a dependently typed language with pruningβ23Updated 2 years ago
- β22Updated last year
- 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)β37Updated this week
- (WIP) Dependently-typed programming language with Agda style dependent pattern matchingβ81Updated 4 years ago
- Learn Lean 4 with PLFA proofs.β80Updated 3 months ago
- Conference on Homotopy Type Theory 2023β13Updated last year
- A well-documented minimal dependently-typed language for my friend Lyzhβ27Updated 5 months ago
- Benchmarking various normalization algorithms for the lambda calculusβ45Updated 2 years ago
- mirror of A simple type-theoretic language: Mini-TTβ40Updated 8 years ago
- Distributions of Agda executable compiled into WebAssembly.β19Updated last week
- Stacks project, from a homotopy type theory point-of-view (hPOV)β14Updated 4 years ago
- Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)β18Updated last year
- Normalization by evaluation of simply typed combinators.β26Updated 3 years ago
- Cicada Language (solo version)β128Updated 7 months ago
- Talking about classical logic and abstract algebra in Haskellβ16Updated 4 years ago
- Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rustβ119Updated 4 years ago
- A formalization of the textbook Elements of Set Theoryβ59Updated 3 years ago
- Statically typed BNF with semantic actions; safe parser generator applicable to every programming language.β62Updated 4 months ago
- The MLPolyR programming language, revivedβ25Updated 4 years ago
- A Collection of Papers & Notes in Programming Language & Formal Verificationβ17Updated 3 years ago
- Towards changing things and see if it proofsβ60Updated 4 years ago
- π§ζ½ε·₯δΈπ§ η¨ Arend εθ―ζηδΊ€δΊεΌζη¨β14Updated 2 years ago
- A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.β45Updated 4 months ago