Gitkube
Deploy to Kubernetes Using Git Push
Table of basic reversible integer operations
2022-11-30
Fibratus: Open-source threat detection and prevention solution
2022-11-30
Functional Programming in Lean (November Update)
2022-11-30
Teaching GHC to Play Minesweeper
2022-11-30
ClamAV Release 1.0.0
2022-11-30
Why Does Julia Work So Well?
2022-11-30
Category Theory Library for Agda
2022-11-30
Soufflé: A Datalog Synthesis Tool for Static Analysis
2022-11-30
Glami-1M: A Multilingual Image-Text Fashion Dataset
2022-11-30
SSA-based Compiler Design [pdf]
2022-11-30
