Awesome Open Source
Awesome Open Source
Combined Topics
type-theory
x
Advertising
📦 10
All Projects
Application Programming Interfaces
📦 124
Applications
📦 192
Artificial Intelligence
📦 78
Blockchain
📦 73
Build Tools
📦 113
Cloud Computing
📦 80
Code Quality
📦 28
Collaboration
📦 32
Command Line Interface
📦 49
Community
📦 83
Companies
📦 60
Compilers
📦 63
Computer Science
📦 80
Configuration Management
📦 42
Content Management
📦 175
Control Flow
📦 213
Data Formats
📦 78
Data Processing
📦 276
Data Storage
📦 135
Economics
📦 64
Frameworks
📦 215
Games
📦 129
Graphics
📦 110
Hardware
📦 152
Integrated Development Environments
📦 49
Learning Resources
📦 166
Legal
📦 29
Libraries
📦 129
Lists Of Projects
📦 22
Machine Learning
📦 347
Mapping
📦 64
Marketing
📦 15
Mathematics
📦 55
Media
📦 239
Messaging
📦 98
Networking
📦 315
Operating Systems
📦 89
Operations
📦 121
Package Managers
📦 55
Programming Languages
📦 245
Runtime Environments
📦 100
Science
📦 42
Security
📦 396
Social Media
📦 27
Software Architecture
📦 72
Software Development
📦 72
Software Performance
📦 58
Software Quality
📦 133
Text Editors
📦 49
Text Processing
📦 136
User Interface
📦 330
User Interface Components
📦 514
Version Control
📦 30
Virtualization
📦 71
Web Browsers
📦 42
Web Servers
📦 26
Web User Interface
📦 210
The Top 22 Type Theory Open Source Projects
Categories
>
Compilers
>
Type Theory
Plt
⭐
4,364
λΠ Programming Language Theory
Write You A Haskell
⭐
2,901
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
Lean
⭐
1,899
Lean Theorem Prover
Formality
⭐
1,435
A modern proof language
Agda
⭐
1,414
Agda is a dependently typed programming language / interactive theorem prover.
Hott
⭐
934
Homotopy type theory
Pikelet
⭐
480
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
Cubicaltt
⭐
446
Experimental implementation of Cubical Type Theory
Typedefs
⭐
329
Programming language agnostic type construction language based on polynomials.
Datafun
⭐
280
Research on integrating datalog & lambda calculus via monotonicity types
Sml Redprl
⭐
211
The People's Refinement Logic
Redtt
⭐
169
"Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory
Hott Uf Agda Lecture Notes
⭐
160
Lecture notes on univalent foundations of mathematics with Agda
Ditto
⭐
149
A Super Kawaii Dependently Typed Programming Language
Proofs
⭐
135
A selection of formal proofs in Coq.
Foundational Knowledge For Programmers
⭐
111
List of resources about foundational knowledge for programmers (supposed to last a few decades)
Ttlite
⭐
93
A SuperCompiler for Martin-Löf's Type Theory
Cooltt
⭐
79
😎TT
Formal Type Theory
⭐
73
Formalising Type Theory in a modular way for translations between type theories
Rust Nbe For Mltt
⭐
72
Normalization by evaluation for Martin-Löf Type Theory with dependent records
Modules Papers
⭐
70
A collection of papers on modules.
Narc Rs
⭐
54
(WIP) Dependently-typed programming language with Agda style dependent pattern matching
1-22 of 22 projects
Advertising
📦 10
All Projects
Application Programming Interfaces
📦 124
Applications
📦 192
Artificial Intelligence
📦 78
Blockchain
📦 73
Build Tools
📦 113
Cloud Computing
📦 80
Code Quality
📦 28
Collaboration
📦 32
Command Line Interface
📦 49
Community
📦 83
Companies
📦 60
Compilers
📦 63
Computer Science
📦 80
Configuration Management
📦 42
Content Management
📦 175
Control Flow
📦 213
Data Formats
📦 78
Data Processing
📦 276
Data Storage
📦 135
Economics
📦 64
Frameworks
📦 215
Games
📦 129
Graphics
📦 110
Hardware
📦 152
Integrated Development Environments
📦 49
Learning Resources
📦 166
Legal
📦 29
Libraries
📦 129
Lists Of Projects
📦 22
Machine Learning
📦 347
Mapping
📦 64
Marketing
📦 15
Mathematics
📦 55
Media
📦 239
Messaging
📦 98
Networking
📦 315
Operating Systems
📦 89
Operations
📦 121
Package Managers
📦 55
Programming Languages
📦 245
Runtime Environments
📦 100
Science
📦 42
Security
📦 396
Social Media
📦 27
Software Architecture
📦 72
Software Development
📦 72
Software Performance
📦 58
Software Quality
📦 133
Text Editors
📦 49
Text Processing
📦 136
User Interface
📦 330
User Interface Components
📦 514
Version Control
📦 30
Virtualization
📦 71
Web Browsers
📦 42
Web Servers
📦 26
Web User Interface
📦 210