Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 8 Formal Semantics Open Source Projects

Open source projects categorized as Formal Semantics
Categories > Formal Semantics
Cakeml ⭐ 879
CakeML: A Verified Implementation of ML
most recent commit 3 months ago
Oxide ⭐ 99
The essence of Rust.
most recent commit 2 years ago
Langpro ⭐ 97
Tableau-based Theorem Prover for Natural Logic and Language
most recent commit a year ago
P4 Semantics ⭐ 14
Formal Semantics of P4 in K
most recent commit 3 years ago
Dfs Tools ⭐ 11
Distributional Formal Semantics (DFS) tools
most recent commit 2 years ago
Vstyle ⭐ 7
A style guide for Coq
most recent commit 2 years ago
Ppa ⭐ 7
Practical Program Analysis (academic course) presented in Innopolis University in 2023
most recent commit 3 months ago
Absol ⭐ 5
Formally correct DSLs
most recent commit 7 years ago
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.