Awesome Open Source

Programming Languages

Search results for functional programming formal verification

formal-verification x

functional-programming x

3 search results found

Magic In Ten Mins ⭐ 693

十分钟魔法练习

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.

Athena is a modern, practical language for proof engineering & natural deduction.

Typonomikon ⭐ 11

Źródła mojej książki o Coqu, programowaniu funkcyjnym, teorii typów, logice konstruktywnej i innych takich.

Related Searches

Javascript Functional Programming (2,473)

Java Functional Programming (850)

Haskell Functional Programming (811)

Typescript Functional Programming (775)

Functional Programming Monad (425)

Html Functional Programming (305)

Book Functional Programming (161)

Tutorials Functional Programming (107)

Functional Programming Lambda Calculus (75)

1-3 of 3 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.