sibylfs-lem
SibylFS fork of Lightweight Executable Mathematics for large-scale semantics
opam install sibylfs-lem More in OCaml packages
All 500- tezos-protocol-002-PsYLVpVv Tezos protocol 002-PsYLVpVv package
- tezos-protocol-009-PsFLoren Tezos protocol 009-PsFLoren package
- tezos-baking-008-PtEdo2Zk Tezos/Protocol: base library for tezos-baker/endorser/accuser
- tezos-embedded-protocol-genesis-carthagenet Tezos/Protocol: genesis_carthagenet (economic-protocol definition, embedded in tezos-node)
- ppx_string_interpolation String interpolation PPX preprocessor
- ffmpeg-avutil Bindings for the ffmpeg avutil libraries
- calculon Library for writing IRC bots in OCaml and a collection of plugins
- synchronizer
- mechaml A functional web scraping library
- styled-ppx Type-safe styled components for ReScript and Melange
- vsrocq-language-server VSRocq language server
- solo5-bindings-muen Solo5 sandboxed execution environment (muen target)