c
clarus
Formally verifying web3 applications with the Coq proof system. Working at @formal-land 🌲
164 repositories
232 followers
Paris
Repositories
Select a repository to view its commits, contributors, and more.public
redux-ship
Side effects with snapshots for Redux.
JavaScript
609
19
4
Updated 4 months ago
public
coq-chick-blog
🐣 A blog engine written and proven in Coq
Coq
177
8
1
Updated 4 months ago
public
falso
A proof of false in Coq.
Coq
92
1
0
Updated a month ago
public
smart-print
A pretty-printing library in OCaml
OCaml
32
6
2
Updated 16 days ago
public
coq-blog
A blog about Coq
HTML
10
1
1
Updated a year ago
public
cybele
A Coq plugin for simpler proofs by reflection or OCaml certificates.
Coq
6
1
0
Updated 5 years ago
public
coq-list-string
Strings implemented as lists.
Coq
5
0
1
Updated 6 months ago
public
redux-ship-devtools
Redux Ship DevTools
JavaScript
5
1
0
Updated 4 years ago
public
phd-experiments
Experiments I am doing for my PhD
Coq
4
0
0
Updated 6 years ago
public
coq-moment
⌚ Parse, manipulate and pretty-print times and dates in Coq
HTML
4
0
1
Updated 3 years ago
public
reddit-explorer
A Reddit client
JavaScript
4
1
0
Updated 4 years ago
public
coq-cunit
Convenience functions for unit testing in Coq.
Coq
4
1
0
Updated 5 years ago