Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 11 Functional Programming Coq Open Source Projects

Open source projects categorized as Functional Programming Coq
Categories > Software Development > Functional Programming
Iron ⭐ 121
Coq formalizations of functional languages.
most recent commit 4 years ago
Scallina ⭐ 73
A Coq-based synthesis of Scala programs which are correct-by-construction
most recent commit 2 years ago
Timl ⭐ 67
TiML: A Functional Programming Language with Time Complexity
most recent commit 7 years ago
Lecturas_glc ⭐ 62
Readings on computational logic, interactive theorem proving and functional programming.
most recent commit 3 months ago
Riscvspecformal ⭐ 58
The RiscvSpecKami package provides SiFive's RISC-V processor model. Built using Coq, this processor model can be used for simulation, model checking, and semantics analysis. The RISC-V processor model can be output as Verilog and simulated/synthesized using standard Verilog tools.
most recent commit 4 years ago
Qcert ⭐ 52
Compilation and Verification of Data-Centric Languages
dependent packages 2total releases 12most recent commit 9 months agonpm qcert} Downloads
Pukeko ⭐ 20
A toy compiler based on SPJ's "The Implementation of Functional Programming Languages"
most recent commit 2 years ago
Typonomikon ⭐ 11
Źródła mojej książki o Coqu, programowaniu funkcyjnym, teorii typów, logice konstruktywnej i innych takich.
most recent commit 4 months ago
Monads ⭐ 9
Coq code accompanying several articles on semantics of functional programming languages
most recent commit 6 years ago
Talks ⭐ 8
Talks that I have given
most recent commit 2 years ago
Opg_parser ⭐ 5
🔪 OPG (Operator Precedence Grammar) Parser, 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.