Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 8 Translation Coq Open Source Projects

Open source projects categorized as Translation Coq
Categories > Data Processing > Translation
Sf Zh ⭐ 704
《软件基础》中译版 Software Foundations Chinese Translation
most recent commit 2 years ago
Paramcoq ⭐ 44
Coq plugin for parametricity [maintainer=@proux01]
most recent commit 5 months ago
Intensional Computation ⭐ 13
translations of a lambda abstraction to combinations of operators
most recent commit 5 years ago
Coq Forcing ⭐ 8
A plugin for Coq that implements the call-by-name forcing translation
most recent commit 3 years ago
Coq Forcing ⭐ 6
Tentative implementation of call-by-name forcing in Coq
most recent commit 8 years ago
Coq Effects ⭐ 6
A program translation implementing self-algebraic effects in Coq.
most recent commit 7 years ago
Paramcoq Iff ⭐ 6
most recent commit 6 years ago
Exceptional Tt ⭐ 5
A Coq plugin that implements exceptions in Coq
most recent commit 3 years 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.