Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for coq formal methods
coq
x
formal-methods
x
12 search results found
Magmide
⭐
778
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
Practical Fm
⭐
437
A gently curated list of companies using verification formal methods in industry
Vst
⭐
407
Verified Software Toolchain
Koika
⭐
84
A core language for rule-based hardware design 🦑
Aeneas
⭐
82
A verification toolchain for Rust programs
Scallina
⭐
73
A Coq-based synthesis of Scala programs which are correct-by-construction
Nand2coq
⭐
38
Build an educational formally verified version of the Nand 2 Tetris course using Coq (and other formal tools).
Fm Notes
⭐
19
Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on
Aws Lc Verification
⭐
16
This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal verification is used to locate bugs and increase assurance of the correctness and security of the library.
Systemfr
⭐
8
System FR: Formalized Foundations for Stainless
Plt Formal Methods Resources
⭐
7
Curated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and their application in some most active computer Science fields.
Vstyle
⭐
7
A style guide for Coq
Related Searches
Ocaml Coq (163)
Types Coq (81)
Haskell Coq (63)
Definition Coq (53)
Calculus Coq (50)
Coq Mathcomp (38)
Paper Coq (36)
Html Coq (32)
Coq Type Theory (32)
Coq Proof Assistant (30)
1-12 of 12 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.