Lists (30)
aerospace
2 repositories
art
1 repository
biotechnology
46 repositories
cli-tools-and-libs
94 repositories
cloud-infra-devops
228 repositories
concurrency
110 repositories
data-engineering
373 repositories
embedded-and-robotics
93 repositories
finance
2 repositories
frontend-and-ui
56 repositories
functional-programming
20 repositories
games-and-gamedev
29 repositories
graphics
Rendering, visualization, video editing and art171 repositories
hpc-and-ai
592 repositories
learning-resources
309 repositories
libs
232 repositories
medicine-and-diagnosis
19 repositories
networking-and-distributed-sys
516 repositories
os-and-systems-dev
465 repositories
parsers-compilers-tracers
210 repositories
quantum-computing
3 repositories
runtimes
62 repositories
scientific
127 repositories
security-and-cryptography
126 repositories
silicon
10 repositories
simulations
40 repositories
theoretical-computer-science
39 repositories
utilities
130 repositories
web
201 repositories
web3
24 repositories
Starred repositories
9
results
for source starred repositories
written in OCaml
Clear filter
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
Programming language for literate programming law specification
Systems language with linear types and capability-based security.
Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)
A library for building dynamic webapps, using Js_of_ocaml
A modern supercompiler for call-by-value functional languages
KernelScript is a modern, type-safe, domain-specific programming language for eBPF-centric kernel customization