Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 9 Programming Language Coq Open Source Projects

Open source projects categorized as Programming Language Coq
Categories > Programming Languages > Programming Language
Coq Equations ⭐ 206
A function definition package for Coq
most recent commit 3 months ago
Ttlite ⭐ 108
A SuperCompiler for Martin-Löf's Type Theory
most recent commit 2 years ago
Koika ⭐ 84
A core language for rule-based hardware design 🦑
most recent commit 2 years ago
Timl ⭐ 67
TiML: A Functional Programming Language with Time Complexity
most recent commit 7 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
Bramble ⭐ 11
dependently-typed lisp with flexible compiler backends
most recent commit 5 years ago
Dblib Linear ⭐ 10
Formalisation of the linear lambda calculus in Coq
most recent commit 5 years ago
Monads ⭐ 9
Coq code accompanying several articles on semantics of functional programming languages
most recent commit 6 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.