Lists (30)
🧠 AI
250 repositories
Data Sets
6 repositories
🏛️ Equipments
92 repositories
🧑🤝🧑 fediverse
7 repositories
Frontend
6 repositories
Game
2 repositories
Github
1 repository
💡 idea
🖌️ Image Generation AI
11 repositories
📓 Info
45 repositories
👀 Interesting
27 repositories
☸️ kubernetes
181 repositories
🏭 Manufacture
3 repositories
🧰 MCPs
Model Context Protocol Servers29 repositories
🏥 Medical
7 repositories
Misc
1 repository
🚀 My stack
71 repositories
NoCode/LowCode
10 repositories
Physical
1 repository
🐘 PostgreSQL
104 repositories
prometheus
22 repositories
Proof and Verification
14 repositories
🦀 Rust
18 repositories
🔐 Security
6 repositories
🐚 shell script
3 repositories
⚙️ SystemsEngneering
5 repositories
📖 Text Books
10 repositories
trade
6 repositories
Wordpress
5 repositories
👓 XR
VR, MR, AR2 repositories
Starred repositories
6
stars
written in Coq
Clear filter
The CompCert formally-verified C compiler
A work-in-progress language and compiler for verified low-level programming
A Verified Compiler for Gallina, Written in Gallina
IrisWasm program logic and logical relation for WebAssembly