#
Lists (32)
Assembly
46 repositories
Browser
9 repositories
Compiler
153 repositories
Database
7 repositories
Emacs
2 repositories
Emulators
33 repositories
ffmpeg
2 repositories
Fuzzing
3 repositories
Games
52 repositories
General
19 repositories
Go
12 repositories
Graphics
59 repositories
Hardware
49 repositories
Haskell
1 repository
JS Libs
20 repositories
LLM
30 repositories
llvm
29 repositories
Memory safety
1 repository
Ml compilers
63 repositories
mlir
30 repositories
Mojo
2 repositories
🚀 My stack
1 repository
NN
26 repositories
Ocaml
15 repositories
OS
51 repositories
react
1 repository
Reverse engineering
18 repositories
Risc-V
1 repository
Rust
76 repositories
SAT/SMT
5 repositories
Wasm
44 repositories
Zig
36 repositories
Starred repositories
8
stars
written in Scala
Clear filter
Chisel: A Modern Hardware Design Language
Time-sensitive affine types for predictable hardware generation
Definition of the Viper intermediate verification language.
Lipsi: Probably the Smallest Processor in the World