Lists (32)
Assembly
49 repositories
Browser
9 repositories
Compiler
162 repositories
Database
7 repositories
Emacs
3 repositories
Emulators
40 repositories
ffmpeg
2 repositories
Fuzzing
3 repositories
Games
66 repositories
General
20 repositories
Go
14 repositories
Graphics
79 repositories
Hardware
61 repositories
Haskell
1 repository
JS Libs
20 repositories
LLM
33 repositories
llvm
31 repositories
Memory safety
1 repository
Ml compilers
72 repositories
mlir
31 repositories
Mojo
2 repositories
🚀 My stack
1 repository
NN
42 repositories
Ocaml
15 repositories
OS
54 repositories
react
1 repository
Reverse engineering
19 repositories
Risc-V
3 repositories
Rust
90 repositories
SAT/SMT
5 repositories
Wasm
44 repositories
Zig
37 repositories
Starred repositories
9
stars
written in Scala
Clear filter
Chisel: A Modern Hardware Design Language
GPGPU processor supporting RISCV-V extension, developed with Chisel HDL
Time-sensitive affine types for predictable hardware generation
Definition of the Viper intermediate verification language.
Lipsi: Probably the Smallest Processor in the World