Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 7 Scala Coq Open Source Projects

Open source projects categorized as Scala Coq
Ttlite ⭐ 108
A SuperCompiler for Martin-Löf's Type Theory
most recent commit 2 years ago
Scallina ⭐ 73
A Coq-based synthesis of Scala programs which are correct-by-construction
most recent commit 2 years ago
Mlang ⭐ 60
Towards changing things and see if it proofs
most recent commit 3 years ago
Scala Escape ⭐ 59
A compiler plug-in to control object lifetimes in Scala
most recent commit 7 years ago
Dot Iris ⭐ 29
Scala Step-by-Step: Soundness for DOT with Step-Indexed Logical Relations in Iris — Coq Formalization
most recent commit 8 months ago
Systemfr ⭐ 8
System FR: Formalized Foundations for Stainless
most recent commit 2 years ago
Coq Extensible Effects ⭐ 7
Extensible Effects in Coq
most recent commit 8 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.