Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
The Top 9 Racket Verification Open Source Projects
Open source projects categorized as Racket Verification
Categories
>
Programming Languages
>
Racket
Edit Category
Veridise/Eurus
⭐
31
Precise Attack Synthesis for DeFi Apps
dependent packages
0
total releases
0
most recent commit
almost 4 years ago
philnguyen/soft-contract
⭐
24
A prototype of soft contract verification for an untyped functional language
dependent packages
0
total releases
0
most recent commit
about 5 years ago
camoy/corpse-reviver
⭐
20
Sound and efficient gradual typing via contract verification.
dependent packages
0
total releases
0
most recent commit
almost 3 years ago
uw-unsat/serval-sosp19
⭐
19
This repo contains the artifact for our SOSP'19 paper on Serval
dependent packages
0
total releases
0
most recent commit
almost 7 years ago
chyanju/__archived__Medjai
⭐
16
A Symbolic Execution Tool for Cairo
dependent packages
0
total releases
0
most recent commit
almost 4 years ago
Veridise/Medjai
⭐
11
A Symbolic Execution Tool for Cairo
dependent packages
0
total releases
0
most recent commit
almost 4 years ago
RenaissanceBug/racket-jwt
⭐
7
JSON Web Token parsing and verification in Racket
dependent packages
0
total releases
0
most recent commit
over 3 years ago
uwplse/ferrite
⭐
7
Ferrite, a toolkit for developing file system crash-consistency models
dependent packages
0
total releases
0
most recent commit
almost 10 years ago
uw-unsat/bpf-jit-verif
⭐
6
dependent packages
0
total releases
0
most recent commit
over 6 years ago
Get A Weekly Email With Trending Racket Projects
No Spam. Unsubscribe easily at any time.
Racket
Verification
Subscribe
Javascript must be enabled to subscribe.
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2026 Awesome Open Source. All rights reserved.
