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 23 Type Theory Open Source Projects
Categories
>
Compilers
>
Type Theory
Plt
⭐
4,452
λΠ Programming Language Theory
Write You A Haskell
⭐
2,957
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
Lean
⭐
1,932
Lean Theorem Prover
Kind
⭐
1,510
A modern proof language
Agda
⭐
1,501
Agda is a dependently typed programming language / interactive theorem prover.
Hott
⭐
971
Homotopy type theory
Pikelet
⭐
506
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
Cubicaltt
⭐
477
Experimental implementation of Cubical Type Theory
Typedefs
⭐
343
Programming language agnostic type construction language based on polynomials.
Datafun
⭐
292
Research on integrating datalog & lambda calculus via monotonicity types
Sml Redprl
⭐
216
The People's Refinement Logic
Redtt
⭐
177
"Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory
Hott Uf Agda Lecture Notes
⭐
163
Lecture notes on univalent foundations of mathematics with Agda
Ditto
⭐
153
A Super Kawaii Dependently Typed Programming Language
Proofs
⭐
134
A selection of formal proofs in Coq.
Foundational Knowledge For Programmers
⭐
117
List of resources about foundational knowledge for programmers (supposed to last a few decades)
Ttlite
⭐
95
A SuperCompiler for Martin-Löf's Type Theory
Cooltt
⭐
87
😎TT
Formal Type Theory
⭐
75
Formalising Type Theory in a modular way for translations between type theories
Modules Papers
⭐
74
A collection of papers on modules.
Rust Nbe For Mltt
⭐
73
Normalization by evaluation for Martin-Löf Type Theory with dependent records
Narc Rs
⭐
61
(WIP) Dependently-typed programming language with Agda style dependent pattern matching
Mlang
⭐
58
Towards changing things and see if it proofs
1-23 of 23 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
