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
- Constructive Interpretations of HoTTβ36Updated 4 years ago
- Resume (template) written in Typstβ10Updated last month
- an implementation of Observational Type Theory (OTT) and moreβ26Updated 2 years ago
- Elaboration with inductive typesβ16Updated 2 years ago
- β22Updated last year
- Very simple, explicit parameters-only dependent type elaborator.β10Updated 4 years ago
- a tutorial implementation on an elaborator of a dependently typed language with pruningβ23Updated 2 years ago
- A well-documented minimal dependently-typed language for my friend Lyzhβ27Updated 4 months ago
- εειιζ³η»δΉ in OCamlβ33Updated 3 years ago
- Stacks project, from a homotopy type theory point-of-view (hPOV)β14Updated 4 years ago
- My type-ups for copilot to learn from.β11Updated 2 years ago
- Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)β18Updated 10 months ago
- Benchmarking various normalization algorithms for the lambda calculusβ45Updated 2 years ago
- Tiny theorem prover with syntax like Lean 4 in <1K LOCβ29Updated 2 months ago
- Normalization by evaluation of simply typed combinators.β26Updated 3 years ago
- β16Updated 3 years ago
- A Collection of Papers & Notes in Programming Language & Formal Verificationβ17Updated 3 years ago
- Conference on Homotopy Type Theory 2023β13Updated last year
- βΎοΈ A library for universe levels and universe polymorphismβ34Updated 6 months ago
- Distributions of Agda executable compiled into WebAssembly.β17Updated 3 months ago
- mirror of A simple type-theoretic language: Mini-TTβ39Updated 8 years ago
- Documented version of a simple type-theoretic language: Mini-TTβ18Updated 6 years ago
- The MLPolyR programming language, revivedβ25Updated 4 years ago
- π§ζ½ε·₯δΈπ§ η¨ Arend εθ―ζηδΊ€δΊεΌζη¨β14Updated 2 years ago
- RUst way for Reuse Analysisβ11Updated last year
- Meta-theory and normalization for Fitch-style modal lambda calculiβ18Updated last year
- Programming Language Foundations in Leanβ38Updated 2 months ago
- A collection of PLT researchingβ29Updated 4 months ago