Riscvspecformal
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.
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Iron | 121 | 4 years ago | other | Coq | ||||||
| Coq formalizations of functional languages. | ||||||||||
| Scallina | 73 | 2 years ago | 1 | gpl-3.0 | Scala | |||||
| A Coq-based synthesis of Scala programs which are correct-by-construction | ||||||||||
| Timl | 67 | 7 years ago | Standard ML | |||||||
| TiML: A Functional Programming Language with Time Complexity | ||||||||||
| Lecturas_glc | 62 | 3 months ago | 1 | gpl-3.0 | ||||||
| Readings on computational logic, interactive theorem proving and functional programming. | ||||||||||
| Riscvspecformal | 58 | 4 years ago | apache-2.0 | Haskell | ||||||
| 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. | ||||||||||
| Qcert | 52 |  | 1 | 2 | 9 months ago | 12 | May 28, 2022 | 33 | apache-2.0 | Coq |
| Compilation and Verification of Data-Centric Languages | ||||||||||
| Pukeko | 20 | 2 years ago | 3 | other | Haskell | |||||
| A toy compiler based on SPJ's "The Implementation of Functional Programming Languages" | ||||||||||
| Typonomikon | 11 | 4 months ago | Coq | |||||||
| Źródła mojej książki o Coqu, programowaniu funkcyjnym, teorii typów, logice konstruktywnej i innych takich. | ||||||||||
| Monads | 9 | 6 years ago | unlicense | Coq | ||||||
| Coq code accompanying several articles on semantics of functional programming languages | ||||||||||
| Talks | 8 | 2 years ago | 3 | C# | ||||||
| Talks that I have given | ||||||||||
Alternatives To RiscvspecformalSelect To Compare
Alternative Project Comparisons
Popular Coq Projects
Popular Functional Programming Projects
Popular Mathematics Categories
Related Searches
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Haskell
Functional Programming
Risc V
Coq