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
449 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
1476 repositories
Opsfx
294 repositories
pkm
1084 repositories
react
9 repositories
resume
23 repositories
rust
55 repositories
Rx
scripts
468 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 Coq
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