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
16
results
for source starred repositories
written in OCaml
Clear filter
Systems language with linear types and capability-based security.
The CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"
Hardcaml is an OCaml library for designing hardware.
A Game Boy emulator written in OCaml that runs in your browser 🐫 🎮
Bolt is a language with in-built data-race freedom!
A compiler for a tiny (but growing!) subset of C, written in OCaml.
Seamless bug-finding for Wasm, C, C++, Rust and Zig
Reference implementation for Writing a C Compiler