Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 11 Programming Coq Open Source Projects

Open source projects categorized as Programming Coq
Categories > Learning Resources > Programming
Learn Tt ⭐ 1,307
A collection of resources for learning type theory and type theory adjacent fields.
most recent commit 4 years ago
Coq Ext Lib ⭐ 123
A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
most recent commit 2 months ago
Profunctor Monad ⭐ 33
Bidirectional programming in Haskell with monadic profunctors
total releases 2most recent commit 2 years ago
Pukeko ⭐ 20
A toy compiler based on SPJ's "The Implementation of Functional Programming Languages"
most recent commit 2 years ago
Dafny Sandbox ⭐ 17
Dafny for Metatheory of Programming Languages
most recent commit 6 months ago
Concept Params ⭐ 8
Coq formalization of "concept parameters" for "generic" programming in STLC
most recent commit 7 years ago
Plt Formal Methods Resources ⭐ 7
Curated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and their application in some most active computer Science fields.
most recent commit 5 years ago
L2c ⭐ 7
most recent commit 5 years ago
Awesome Agda Programming ⭐ 7
Awesome Agda Programming
most recent commit 4 years ago
Amazing Coq ⭐ 6
WHAT I have done on the road to Coq language and certified programming.
most recent commit 8 years ago
Misc ⭐ 6
Misc playground and random stuff
most recent commit 5 months ago
Popular Mathematics Categories
Random
Mathematics
Numpy
Geometry
Measurements
Tensor
Probability
Algebra
Matrices
Theano
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.