#Formal-languages
Showing 3 of 3 repositories tagged #formal-languages, ranked by stars
litexlang
golitex
Litex: The Language Where Mathematics Verifies Itself.
Score
0
★ 659
⑂ 8
—
Rust
johnsonstephan
awesome-web3-formal-verification
A curated list of awesome web3 formal verification resources -- including tools, tutorials, articles and more.
Score
0
★ 43
⑂ 5
—
wkoszek
flviz
Windows GUI DFA simulator that visualizes finite automata and state transitions
Score
0
★ 36
⑂ 0
—
HTML