PyPI
formalsec/smtml
An SMT solver frontend for OCaml
MIT17 вер. 2026 р. · метрики 2.10.0
Усі теги
Тег каталогу
#ocaml
Усі репозиторії публічного реєстру з цим тегом — із тем GitHub або ключових слів, які публікують їхні реєстри пакетів. Здоров'я вимірюється за тією ж версіонованою методологією, що й решта реєстру.
13 записів
crates.io · NuGet · PyPI
extism/extism
The framework for building with WebAssembly (wasm). Easily & securely load wasm modules, move data, call functions, and build extensible apps.
BSD-3-Clause11 жовт. 2026 р. · метрики 2.10.0
crates.io · PyPI · npm +1
tree-sitter/tree-sitter-ocaml
OCaml grammar for tree-sitter
MIT15 вер. 2026 р. · метрики 2.10.0
—
mirage/ocaml-cohttp
An OCaml library for HTTP clients and servers using Lwt or Async
Власна ліцензія19 вер. 2026 р. · метрики 2.10.0
npm
readmeio/httpsnippet
HTTP Request snippet generator for many languages & libraries
MIT20 жовт. 2026 р. · метрики 2.10.0
—
ocaml-multicore/eio
Effects-based direct-style IO for multicore OCaml
Власна ліцензія11 вер. 2026 р. · метрики 2.10.0
Go · crates.io · npm
tono-lang/tono
The Tono language compiler: generates idiomatic SDKs (OCaml frontend, Rust backend)
Apache-2.09 жовт. 2026 р. · метрики 2.10.0
—
mirage/mirage
MirageOS is a library operating system that constructs unikernels
ISC19 вер. 2026 р. · метрики 2.10.0
—
robur-coop/miou
A simple scheduler for OCaml 5
MIT18 вер. 2026 р. · метрики 2.10.0
—
paurkedal/ocaml-caqti
Cooperative-threaded access to relational data
LGPL-3.09 вер. 2026 р. · метрики 2.10.0
—
mirage/digestif
Simple hash algorithms in OCaml
MIT11 вер. 2026 р. · метрики 2.10.0
—
mirleft/ocaml-tls
TLS in pure OCaml
BSD-2-Clause19 вер. 2026 р. · метрики 2.10.0
—
mirage/decompress
Pure OCaml implementation of Zlib.
MIT15 вер. 2026 р. · метрики 2.10.0