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 5 years ago
- an implementation of Observational Type Theory (OTT) and moreβ27Updated 2 years ago
- εειιζ³η»δΉ in OCamlβ33Updated 3 years ago
- β22Updated last year
- a tutorial implementation on an elaborator of a dependently typed language with pruningβ25Updated 2 years ago
- Elaboration with inductive typesβ16Updated 2 years ago
- A toy IO library for Arendβ18Updated 4 years ago
- Documented version of a simple type-theoretic language: Mini-TTβ18Updated 6 years ago
- Benchmarking various normalization algorithms for the lambda calculusβ46Updated 2 years ago
- Learn Lean 4 with PLFA proofs.β83Updated 4 months ago
- ShiTT is a toy proof assistant. (This project will be rewritten soon)β37Updated this week
- Programming Language Foundations in Leanβ42Updated last month
- Conference on Homotopy Type Theory 2023β13Updated last year
- (WIP) Dependently-typed programming language with Agda style dependent pattern matchingβ81Updated 4 years ago
- mirror of A simple type-theoretic language: Mini-TTβ40Updated 8 years ago
- A formalization of the textbook Elements of Set Theoryβ59Updated 3 years ago
- Normalization by evaluation of simply typed combinators.β26Updated 3 years ago
- Stacks project, from a homotopy type theory point-of-view (hPOV)β14Updated 4 years ago
- A well-documented minimal dependently-typed language for my friend Lyzhβ27Updated 6 months ago
- Benchmark repository of polyglot effect handler examplesβ27Updated this week
- Distributions of Agda executable compiled into WebAssembly.β19Updated 3 weeks ago
- a proof-of-concept programming language based on call-by-push-valueβ54Updated this week
- βΎοΈ A library for universe levels and universe polymorphismβ34Updated 2 weeks ago
- β36Updated 2 weeks ago
- β16Updated 3 years ago
- high-performance cubical evaluationβ75Updated 3 months ago
- π§ζ½ε·₯δΈπ§ η¨ Arend εθ―ζηδΊ€δΊεΌζη¨β14Updated 2 years ago
- Graph Theory [maintainers=@chdoc,@damien-pous]β38Updated last month
- Formalizations of Gradually Typed Languages in Agdaβ57Updated 6 months ago