Lists (32)
Analytics
433 repositories
Azure
3 repositories
azure.apim
1 repository
azure.ml
1 repository
blazor
1 repository
bot
67 repositories
cli
2 repositories
common
128 repositories
docker
48 repositories
dotfiles
448 repositories
dotnet
14 repositories
e2e
20 repositories
frontenf
104 repositories
go
Golang55 repositories
guides
32 repositories
hw
113 repositories
infra
IaC, terraform, HCL, pulumi, etc.167 repositories
Leet
1477 repositories
Opsfx
293 repositories
pkm
1085 repositories
react
9 repositories
resume
23 repositories
rust
55 repositories
Rx
scripts
467 repositories
search
7 repositories
sec
241 repositories
Swift
Swift3 repositories
tests
1 repository
tf+sh
2 repositories
typescript
3 repositories
vim
3 repositories
Starred repositories
2
results
for source starred repositories
written in Rocq Prover
Clear filter
A Library for Representing Recursive and Impure Programs in Coq
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework