Documented version of a simple type-theoretic language: Mini-TT
☆18May 5, 2019Updated 7 years ago
Alternatives and similar repositories for Mini-TT
Users that are interested in Mini-TT are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆16Feb 18, 2025Updated last year
- Formalization of Typed Assembly Language (TAL) in Coq☆18Mar 11, 2024Updated 2 years ago
- Proof of concept to generate safe and fast JavaScript☆24Aug 7, 2022Updated 4 years ago
- Demystifying the magic of supertactics☆13Nov 2, 2021Updated 4 years ago
- Formalism and proofs for esverify☆20May 26, 2018Updated 8 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Toy demo of lexing/parsing in Coq☆12Jul 3, 2019Updated 7 years ago
- Coq library and tactic for deciding Kleene algebras [maintainer=@tchajed]☆26Apr 28, 2026Updated 6 months ago
- My type-ups for copilot to learn from.☆11Aug 30, 2022Updated 4 years ago
- Theorems for Real Closed Fields☆15Jul 23, 2026Updated 3 months ago
- The simplest implementation of Dependent Pattern Matching and Indexed Inductive Types.☆14Apr 11, 2026Updated 6 months ago
- A formal proof of LaSalle's invariance principle☆12Feb 3, 2026Updated 8 months ago
- Multinomials for the Mathematical Components library.☆17Aug 20, 2026Updated 2 months ago
- ♾️ A library for universe levels and universe polymorphism☆42Sep 24, 2026Updated last month
- The MLPolyR programming language, revived☆25Oct 15, 2020Updated 6 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Free Monads and useful constructions to work with them☆26Aug 14, 2018Updated 8 years ago
- Deprecated☆37May 17, 2026Updated 5 months ago
- Effectful Streaming for Idris☆15Dec 13, 2020Updated 5 years ago
- A toy IO library for Arend☆19Feb 12, 2021Updated 5 years ago
- 🚧施工中🚧 用 Arend 写证明的交互式教程☆14Sep 7, 2022Updated 4 years ago
- A type checker for the Lean theorem prover☆45Mar 6, 2021Updated 5 years ago
- mirror of A simple type-theoretic language: Mini-TT☆41Feb 15, 2017Updated 9 years ago
- Resume (template) written in Typst☆11Aug 13, 2026Updated 2 months ago
- 🌋 Idris implementation of patricia tree☆23Nov 6, 2020Updated 5 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Experimental normalisation via scheme☆11Jul 25, 2021Updated 5 years ago
- haha I'm graduating☆14Jul 22, 2021Updated 5 years ago
- Yet another Scheme interpreter.☆11Sep 17, 2022Updated 4 years ago
- Game Engine From Scratch -- Rust China Conference 2020 topic by LemonHX and his team.☆14Dec 16, 2020Updated 5 years ago
- Ring, field, lra, nra, and psatz tactics for Mathematical Components☆39Apr 3, 2026Updated 6 months ago
- Formalising Turing Machines In Coq (bachelor's thesis)☆12Jul 5, 2023Updated 3 years ago
- Experimental model finder/SMT solver for functional programming.☆23Jun 23, 2022Updated 4 years ago
- Playing with incremental parsing and later compiler passes☆12Dec 12, 2018Updated 7 years ago
- Implementations of various toy programming languages☆11Apr 19, 2018Updated 8 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Idris 2 bindings to various C libraries☆15Jun 28, 2021Updated 5 years ago
- TypeScript client for Idris IDE-mode.☆13Nov 6, 2022Updated 3 years ago
- 让 Java 1.8 也能像 Kotlin 一样使用 Sealed Class。Make Java 1.8 use Sealed Class like Kotlin☆12Aug 31, 2022Updated 4 years ago
- 第三次重构!☆16Dec 22, 2020Updated 5 years ago
- A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@ant…☆25Mar 3, 2026Updated 7 months ago
- ☆17Jun 17, 2017Updated 9 years ago
- ForgeGradleOnWall. My ForgeGradle is augmented!☆14Mar 22, 2016Updated 10 years ago