Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 11 Tex Agda Open Source Projects

Open source projects categorized as Tex Agda
Bnfc ⭐ 551
BNF Converter
total releases 27most recent commit 3 months ago
Homotopy Type Theory Course ⭐ 214
A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
most recent commit 2 years ago
Typing Linear Pi ⭐ 26
Typing the linear pi calculus in Agda
most recent commit 2 years ago
Reflection Proofs ⭐ 24
Playing around with reflection in Agda. Since version 2.2.8 we have simple quoting and unquoting, and it turns out you can do some pretty cool shit.
most recent commit 10 years ago
Cain ⭐ 23
Category theory applied to functional programming (undergraduate project)
most recent commit 5 years ago
Ipl ⭐ 20
Agda formalization of Intuitionistic Propositional Logic
most recent commit a year ago
Ualib.github.io ⭐ 7
The Agda Universal Algebra Library (UALib) is a library of types and programs (theorems and proofs) that formalizes the foundations of universal algebra in dependent type theory using the Agda proof assistant language.
most recent commit 3 years ago
Constructingii ⭐ 7
Constructing Inductive-Inductive types in Cubical Type Theory
most recent commit 5 years ago
Dep Typed Wbl Heaps ⭐ 6
Verifying weight biased leftist heaps using dependent types in Agda
most recent commit 6 years ago
Crypto Agda ⭐ 6
Cryptocurrency made in agda
most recent commit 3 years ago
Codemirror Agda ⭐ 5
Agda mode and input helper for CodeMirror used on Codewars
most recent commit 2 years ago
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.