Stars
books
3 repositories
Functional Programming in Go, published by Packt
The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)