Code Extraction
3 projects
Showing 3 of 3 projects
coq-haskellCoq
A Coq library providing Haskell-like definitions and notations for formalizing Haskell types and functions in Coq.
#haskell#functional-programming#coq
Stars172
Forks12
Last commit2 years ago
ConCertRocq Prover
A Coq framework for formal verification, property-based testing, and extraction of smart contracts.
#coq#smart-contracts#blockchain-security
Stars127
Forks23
Last commit23 days ago
Deno DigRust
A tool that extracts application code and npm packages from standalone Deno binaries created with deno compile.
#webassembly#npm#deno
Stars1
Forks0
Last commit1 year ago
Community-curated · Updated weekly · 100% open source
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.