Stars
HoTTEST Summer School materials
Linux Kernel Programming 2E - published by Packt
A hands-on tutorial on the new parallelism features in OCaml 5
A playbook for systematically maximizing the performance of deep learning models.
A collection about awesome blockchains - open distributed public databases w/ crypto hashes incl. git ;-). Blockchains are the new tulips 🌷🌷🌷. Distributed is the new centralized.
A curated list of awesome Deep Learning tutorials, projects and communities.
A curated list of awesome computational geometry visualizations, frameworks, and resources
🎓 Because Education should be free. Contributions welcome! 🕵️
The core of xmonad, a small but functional ICCCM-compliant tiling window manager
A static website compiler library in Haskell
Haskell Cookbook, published by Packt
Haskell bindings for tree-sitter
Open Source codebase of the game Overgrowth by Wolfire Games LLC
Standard library for linear types in Haskell.
Material for The Mathematical Engineering of Deep Learning. See https://deeplearningmath.org
Bolt is a language with in-built data-race freedom!
This is a list of links to different freely available learning resources about computer programming, math, and science.
machine learning and deep learning tutorials, articles and other resources
⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.