spamegg1
Follow
Lists (32)
Advent of Code
Everything related to the annual event.45 repositories
C / V / low level
All about Clang / Vlang and stuff.9 repositories
Chips
Anything related to hardware design, especially in Chisel / Scala84 repositories
Databases
Everything DB related.9 repositories
Design and Architecture
Everything about design, architecture, domain modeling, code organization etc.2 repositories
F# / Kotlin
Everything Fsharp / Kotlin / functional.10 repositories
Games
Game engines, source code, emulators etc.101 repositories
GPU
Executing parallel code on the GPU.18 repositories
Haskell
Anything Haskell.56 repositories
Java
Anything that's not Scala but tangentially related to Scala122 repositories
LaTeX and Markdown
Anything TeX, Markdown and typesetting related.17 repositories
Lean
All about formal verification in Lean.32 repositories
Learning
Curated book lists, courses, etc.175 repositories
Linux
All things Linux / Unix / BSD / other183 repositories
Machine Learning
Large language models and related stuff.19 repositories
Math
Everything math related! Fractals, computer algebra systems, numerical computation, and so on.32 repositories
Metaprogramming
All about macros, DSLs, and other stuff.3 repositories
ML
Anything SML / Ocaml / PolyML / MosML / MLton63 repositories
Music
Anything related to music files, production, editing, playback etc.11 repositories
Old computers
All things retro: Commodore 64, Amiga, ZX Spectrum, NES, GameBoy, BBC Micro, Amstrad and more46 repositories
Operating systems
xv6 and others103 repositories
Profiling and benchmarking
Tools to check performance, memory usage, memory leaks etc. Mostly for Java / Scala.16 repositories
Project ideas
Inspiration for projects.13 repositories
Python
Spam, ham and eggs.25 repositories
Rust
Rust REPL, book, cli, exercises58 repositories
Scala
Everything and the kitchen sink!1446 repositories
Security
Pentesting, enumeration, OSCP, hacking, and more.9 repositories
Terminal
Cool repos related to Terminal tools, customizations, etc.184 repositories
Testing
Fuzzing, property-based testing, mocking, and all that.8 repositories
Theory
Mathematical stuff (proof assistants, automatic provers / solvers), formal verification, type theory, compilers, languages and so on.130 repositories
Tools
Useful command line tools, editors, IDEs, and various other programs.219 repositories
Web Dev
Frameworks, libraries, etc.97 repositories
Stars
5
stars
written in Makefile
Clear filter
RISC-V Assembly Programmer's Manual
📜 Soothing pastel theme for Papirus Icon Theme folders