#
Lists (32)
Analytics
9 repositories
Benchmark
3 repositories
Brokers
1 repository
Challenges
3 repositories
Database / Check
103 repositories
Database tooling
15 repositories
Databases
359 repositories
Distributed
49 repositories
DS/Algo
42 repositories
Exotic
14 repositories
Good Go
1 repository
Good Idea
24 repositories
Good Java
2 repositories
Good JS
56 repositories
Good Others
7 repositories
Good Rust
362 repositories
Good Sci
2 repositories
Good Systems
153 repositories
High-load
1 repository
Infra
1 repository
Langs, Parsers, Runtimes, VMs
217 repositories
Lists, Books, Tutorials
80 repositories
MQs
1 repository
NLP
6 repositories
NN/DL/ML
29 repositories
React
2 repositories
Rust tooling
38 repositories
State-of-the-Art
1 repository
SystemsProg
3 repositories
Tools
4 repositories
UI niceties
2 repositories
Web Frameworks
37 repositories
Starred repositories
5
results
for source starred repositories
written in OCaml
Clear filter
Systems language with linear types and capability-based security.
Bolt is a language with in-built data-race freedom!
A compiler for a statically-typed relational programming language written in OCaml