OCaml
381 libraries mined from the opam registry · NADA target: 400
- 0install/0install
- a-nikolaev/wanderers
- aantron/bisect_ppx
- aantron/lambdasoup
- aantron/luv
- aantron/markup.ml
- aatxe/oxide
- abbysmal/Canopy
- AeneasVerif/aeneas
- ahrefs/atd
- ahrefs/ocannl
- airbus-seclab/bincat
- alavrik/piqi
- Alex23087/Perk
- alicecaml/alice
- andreas/ocaml-graphql-server
- andrejbauer/marshall
- andrejbauer/plzoo
- andrejbauer/spartan-type-theory
- andrenth/sequoia
- Andromedans/andromeda
- anmonteiro/aws-lambda-ocaml-runtime
- anmonteiro/ocaml-h2
- anmonteiro/piaf
- anmonteiro/reason-graphql-fullstack
- anuragsoni/routes
- aprell/compiler-potpourri
- arenadotio/pgx
- art-w/deque
- artagnon/rhine-ml
- artemkin/git-lfs-server
- arthaud/c2bf
- astampoulis/makam
- astrada/google-drive-ocamlfuse
- austral/austral
- avsm/httpz
- awslabs/s2n-bignum
- backtracking/ocamlgraph
- batsh-dev-team/Batsh
- bcpierce00/unison
- Beluga-lang/Beluga
- BinaryAnalysisPlatform/bap
- binsec/binsec
- biocaml/biocaml
- bitblaze-fuzzball/fuzzball
- bobzhang/ocaml-book
- brendanzab/language-garden
- briskml/brisk
- briskml/brisk-reconciler
- c-cube/iter
- c-cube/ocaml-containers
- c-cube/qcheck
- caffeinelabs/motoko
- callstackincubator/rebolt-navigation
- callstackincubator/reroute
- Camilotk/ocaml4noobs
- camlworks/dream
- caradoc-org/caradoc
- CatalaLang/catala
- chenglou/cards
- Chris00/ocaml-csv
- chshersh/ccl
- chshersh/github-tui
- chshersh/pragmatic-category-theory
- chshersh/zbg
- cil-project/cil
- coccinelle/coccinelle
- colis-anr/morbig
- comby-tools/comby
- copy/gdbprofiler
- craigfe/progress
- cryspen/hax
- cs3110/textbook
- cyrus-/relit
- darioteixeira/pgocaml
- darklang/philip2
- darrenldl/docfd
- davesnx/query-json
- dbuenzli/brr
- dbuenzli/cmdliner
- dbuenzli/react
- dbuenzli/tsdl
- Deducteam/Dedukti
- Deducteam/lambdapi
- dinosaure/bob
- doomeer/factorio
- Drup/tyre
- dysinger/restack
- EasyCrypt/easycrypt
- eatonphil/owebl
- Ekdohibs/camlboot
- engboris/stellogen
- esumii/min-caml
- eWert-Online/OSnap
- facebookarchive/immutable-re
- facebookarchive/JSCaml
- facebookarchive/pfff
- faldor20/jj_tui
- fastpack/fastpack
- formal-land/rocq-of-ocaml
- FormidableLabs/seattlejsconf-app
- Frama-C/Frama-C-snapshot
- frenetic-lang/frenetic
- FStarLang/karamel
- ftripier/spookyc
- fxfactorial/ocaml-reactjs
- g2p/git-fs
- geneweb/geneweb
- geoffder/dometyl-keyboard
- gfngfn/SATySFi
- gfngfn/Sesterl
- glennsl/bs-json
- glondu/belenios
- goblint/analyzer
- gwaithimirdain/narya
- hackwaly/ocamlearlybird
- hannesm/jackline
- heidihoward/ocaml-raft
- herd/herdtools7
- hirrolot/mazeppa
- imandra-ai/verified-react
- inhabitedtype/angstrom
- inhabitedtype/faraday
- inhabitedtype/httpaf
- inhabitedtype/ocaml-aws
- inhabitedtype/ocaml-webmachine
- Innf107/polaris
- jacobaustin123/Coral
- jaked/ocamljs
- janestreet/async
- janestreet/base
- janestreet/bonsai
- janestreet/bonsai_term
- janestreet/core_kernel
- janestreet/ecaml
- janestreet/hardcaml
- janestreet/incr_dom
- janestreet/incremental
- janestreet/learn-ocaml-workshop
- janestreet/magic-trace
- janestreet/patdiff
- janestreet/ppx_expect
- janestreet/ppx_inline_test
- janestreet/ppx_let
- janestreet/sexplib
- janestreet/shexp
- janestreet/strace_ui
- janestreet/torch
- janestreet/vcaml
- jaredly/gravitron
- jhjourdan/C11parser
- jnavila/plotkicadsch
- johnelse/spotify-cli
- johnwhitington/camlpdf
- johnwhitington/cpdf-source
- jonlaing/rationale
- jordwalke/rehp
- jozefg/blott
- jozefg/nbe-for-mltt
- jrh13/hol-light
- jsigbiz/spec
- Kakadu/lablqml
- kennetpostigo/lwt-node
- kenwheeler/camlsynth
- kerneis/cpc
- kind2-mc/kind2
- kiranandcode/petrol
- kit-ty-kate/labrys
- kitten/sweetsour
- kuis-isle3sw/IoPLMaterials
- LaurentMazare/ocaml-torch
- LaurentMazare/tensorflow-ocaml
- leostera/caramel
- leostera/httpkit
- leostera/minttea
- leostera/riot-lib
- let-def/hotcaml
- let-def/insydious
- let-def/lwd
- LexiFi/gen_js_api
- LexiFi/landmarks
- LexiFi/ocaml-vdom
- libguestfs/supermin
- libguestfs/virt-v2v
- lindig/lua-ml
- links-lang/links
- logseq/mldoc
- lpalmes/pure
- LPCIC/coq-elpi
- lukaszcz/coqhammer
- mahsu/MariOCaml
- maranget/hevea
- mathiasbourgoin/Sarek
- matijapretnar/eff
- melange-community/create-melange-app
- melange-community/melange-fetch
- mfp/extprot
- mfp/ocsiblog
- mgree/smoosh
- mhallin/graphql_ppx
- microsoft/SLAyer
- mirage/alcotest
- mirage/capnp-rpc
- mirage/decompress
- mirage/irmin
- mirage/jitsu
- mirage/mirage
- mirage/mirage-skeleton
- mirage/mirage-tcpip
- mirage/ocaml-cohttp
- mirage/ocaml-cstruct
- mirage/ocaml-dns
- mirage/ocaml-git
- mirage/qubes-mirage-firewall
- mirleft/ocaml-nocrypto
- mirleft/ocaml-tls
- mistakenelf/tails-ui
- mjambon/dune-starter
- ml-in-barcelona/jsoo-react
- ml-in-barcelona/server-reason-react
- MLstate/opalang
- mmmdbybyd/CLNC
- mmottl/lacaml
- mmottl/postgresql-ocaml
- mmottl/pure-fun
- mmottl/sqlite3-ocaml
- moby/datakit
- moby/vpnkit
- montyly/gueb
- moonbitlang/moonbit-compiler
- mransan/ocaml-protoc
- mukul-rathi/bolt
- multikernel/kernelscript
- nanocaml/nanocaml
- nickzuber/add-reason
- nlsandler/nqcc
- nlsandler/nqcc2
- northwesternfintech/2027QuantInternships
- nrnrnr/qc--
- o1-labs/snarky
- ocaml-batteries-team/batteries-included
- ocaml-community/lambda-term
- ocaml-community/omd
- ocaml-community/sedlex
- ocaml-community/utop
- ocaml-community/yojson
- ocaml-community/zed
- ocaml-gospel/gospel
- ocaml-mlx/mlx
- ocaml-multicore/domainslib
- ocaml-multicore/effects-examples
- ocaml-multicore/eio
- ocaml-multicore/kcas
- ocaml-multicore/ocaml-effects-tutorial
- ocaml-multicore/ocaml5-parallelism-tutorial
- ocaml-multicore/parallel-programming-in-multicore-ocaml
- ocaml-multicore/picos
- ocaml-multicore/reagents
- ocaml-multicore/saturn
- ocaml-ppx/ocamlformat
- ocaml-ppx/ppx_deriving
- ocaml-ppx/ppx_deriving_yojson
- ocaml-ppx/ppx_tools
- ocaml-ppx/ppxlib
- ocaml-wasm/wasm_of_ocaml
- ocaml/flexdll
- ocaml/merlin
- ocaml/oasis
- ocaml/ocaml-lsp
- ocaml/ocaml-re
- ocaml/ocamlbuild
- ocaml/odoc
- ocaml/opam
- ocaml/Zarith
- ocamllabs/vscode-ocaml-platform
- ocamllibs/pyml
- OCamlPro/alt-ergo
- OCamlPro/drom
- OCamlPro/liquidity
- OCamlPro/ollvm
- OCamlPro/owi
- ocsigen/eliom
- ocsigen/lwt
- ocsigen/tyxml
- ocurrent/ocaml-ci
- ocurrent/ocurrent
- odis-labs/streaming
- onlinemediagroup/ocaml-usbmux
- opengrep/opengrep
- ott-lang/ott
- owlbarn/owl
- oxidizing/sihl
- PataphysicalSociety/soupault
- patoline/patoline
- paurkedal/ocaml-caqti
- pikatchu/LinearML
- pirapira/bamboo
- pirapira/coq2rust
- PLSysSec/FaCT
- PLTools/OCanren
- pqwy/notty
- prakhar1989/type-inference
- pyrocat101/opal
- raven-ml/raven
- realworldocaml/examples
- realworldocaml/mdx
- reasonml-old/BetterErrors
- reasonml-old/reason-react
- reasonml/reason
- reasonml/reason-tools
- reasonml/ReasonNativeProject
- RedPRL/cooltt
- RedPRL/redtt
- remixlabs/wasicaml
- rems-project/lem
- rescript-association/genType
- rescript-labs/decco
- rescript-lang/reanalyze
- rescript-lang/syntax
- rgrinberg/opium
- Risto-Stevcev/bastet
- rleonid/oml
- robur-coop/albatross
- robur-coop/miou
- rocq-community/rocq-lsp
- rocq-prover/opam
- rocq-prover/vsrocq
- roddyyaga/ppx_rapper
- ropas/sparrow
- rossberg/1ml
- rrdelaney/ReasonablyTyped
- s3team/uroboros
- sam-jay/shoo-lang
- sanette/bogue
- savonet/liquidsoap
- semgrep/semgrep
- serde-ml/serde
- shentufoundation/deepsea
- SKS-Keyserver/sks-keyserver
- smolkaj/nice-parser
- smtcoq/smtcoq
- sneeuwballen/zipperposition
- stan-dev/stanc3
- stedolan/crowbar
- stedolan/malfunction
- stedolan/mlsub
- stedolan/ppx_stage
- stevenvar/OMicroB
- superhuman/rxxr2
- talex5/cuekeeper
- talex5/wayland-proxy-virtwl
- tarides/dune-release
- tarides/opam-monorepo
- tategakibunko/jingoo
- teamwalnut/graphql-ppx
- technomancy/grenchman
- teikalang/teika
- terrateamio/openinfraquote
- terrateamio/terrateam
- TheAlgorithms/OCaml
- threepointone/bs-nice
- tjammer/raylib-ocaml
- tlaplus/tlapm
- tmattio/spin
- tomprimozic/type-systems
- uber/NEAL
- ujamjar/hardcaml
- vbmithr/ocaml-websocket
- vult-dsp/vult
- xapi-project/xen-api
- xclerc/ocamljava
- xhtmlboi/yocaml
- xvw/preface
- yallop/higher
- yallop/ocaml-ctypes
- yawaramin/dream-html
- yawaramin/re-web
- ygrek/mldonkey
- yoriyuki/Camomile
- Zilliqa/scilla
- zkat/maybe-hugs