shpark
Follow
Lists (32)
apple-ios-macos-swift
2 repositories
arm64
4 repositories
compilers-programming-languages
662 repositories
concurrency
4 repositories
data-structures-algorithms
debugging
12 repositories
desktop-gui
16 repositories
dev-productivity-tools
215 repositories
dotnet
3 repositories
file-formats-and-protocols
79 repositories
formal-methods
94 repositories
functional-programming
10 repositories
graphics-game-dev
75 repositories
gui
1 repository
hardware
360 repositories
haskell
10 repositories
latex
9 repositories
ml-ai
98 repositories
mobile-cross-platform
76 repositories
network-distributed-databases
67 repositories
nix
1 repository
ocaml
31 repositories
os-embedded-firmware
640 repositories
performance
2 repositories
practices
220 repositories
riscv
12 repositories
rust
115 repositories
syssec-crypto-reversing
536 repositories
tui
26 repositories
utils
77 repositories
web-dev
100 repositories
zig
15 repositories
Stars
11
stars
written in Coq
Clear filter
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
Cryptographic Primitive Code Generation by Fiat
A work-in-progress language and compiler for verified low-level programming
Specifications and safety proofs in different tools of a simple concurrent algorithm
messing around with "Certified Programming with Dependent Types"