Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 16 Formalization Open Source Projects

Open source projects categorized as Formalization
Categories > Formalization
Hott Intro ⭐ 169
An introductory course to Homotopy Type Theory
most recent commit 4 years ago
Geocoq ⭐ 157
A formalization of geometry in Coq based on Tarski's axiom system
most recent commit 8 months ago
Smoosh ⭐ 98
The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.
most recent commit a year ago
Formal Type Theory ⭐ 72
Formalising Type Theory in a modular way for translations between type theories
most recent commit 6 years ago
Bonak ⭐ 26
🧊 An indexed construction of semi-simplicial and semi-cubical types
most recent commit 5 months ago
System F ⭐ 18
Formalization of the polymorphic lambda calculus and its parametricity theorem
most recent commit 5 years ago
Coq Guarded Computational Type Theory ⭐ 17
most recent commit 6 years ago
Autosubst2 ⭐ 13
Official repository of the Autosubst 2 project.
most recent commit 2 years ago
Cwfs ⭐ 9
Formalization of Categories with Families
most recent commit 3 years ago
Telegram Mtproto2 Verification ⭐ 9
Formal Verification of Telegram's MTProto 2.0
most recent commit a year ago
Math Formalizations ⭐ 8
Formalization of some elementary mathematical theories in Coq
most recent commit 4 years ago
Core Erlang Formalization ⭐ 8
most recent commit 6 months 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
Coq Wigderson ⭐ 7
Formalization of Wigderson's graph coloring algorithm in Coq
most recent commit 8 months ago
Two Level ⭐ 5
Two-Level Type Theory
most recent commit 5 years ago
Agda Lvo ⭐ 5
large veblen ordinal in agda
most recent commit 8 months 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.