Lists (32)
ai/llm/crazy stuff
40 repositories
bookmark
33 repositories
cybersec
82 repositories
editor
17 repositories
Elastic Search
Ethereum Change Requests
1 repository
evm
4 repositories
Fullstack Framework
fungoid
9 repositories
games
13 repositories
IPA
Stuff for my IPAlanguages
80 repositories
Layer-1 Chains
4 repositories
Layer-2 Chains
7 repositories
liquid staking / yield
3 repositories
lispy
13 repositories
LLM Training
6 repositories
maths
3 repositories
os
9 repositories
pascal/delphi/family
6 repositories
quantum-tech/AQI
3 repositories
SaaS / Micro SaaS
45 repositories
stuxnet/duqu-wdk
1 repository
stuxnet/flame
1 repository
sushiswap essentials
12 repositories
tacit programming
15 repositories
templeOS/Shrine
6 repositories
text-adventure
11 repositories
unicode esolangs
7 repositories
vim plugins
must have vim plugings2 repositories
web3 security
2 repositories
zk-tech
15 repositories
Starred repositories
11
results
for source starred repositories
written in OCaml
Clear filter
The core OCaml system: compilers, runtime system, base libraries
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…
Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection
Liquidsoap is a statically typed scripting general-purpose language with dedicated operators and backend for all thing media, streaming, file generation, automation, HTTP backend and more.
Systems language with linear types and capability-based security.
The Opa Language for Web Application Development
An open world adventure and dungeon crawling game
Library of Raft consensus algorithm implemented in OCaml
The compiler for the space programming language. The frontend generates LLVM IR, supports the Object Oriented programming paradigm and has some functional features.