Search:
Search Results
sci-mathematics/coq-serapi
Serialization library and protocol for interaction with the Coq proof assistant
sci-mathematics/coq-stdlib
Stdlib for the Coq/Rocq Prover, used to be part of Coq
sci-mathematics/easycrypt
Computer-Aided Cryptographic Proofs
sci-mathematics/gappalib-coq
Allows the certificates Gappa generates to be imported by the Coq
sci-mathematics/kind2
Multi-engine SMT-based automatic model checker
sci-mathematics/psmt2-frontend
Library to parse and type-check an extension of the SMT-LIB 2 standard
sys-fs/google-drive-ocamlfuse
FUSE filesystem over Google Drive
dev-ml/afl-persistent
Persistent-mode afl-fuzz for ocaml OCaml
dev-ml/cmarkit
Cmarkit parses the CommonMark specification
dev-ml/chrome-trace
Chrome trace event generation library
dev-ml/crowbar
Write tests, let a fuzzer find failing cases
dev-ml/digestif
Hashes implementations (SHA*, RIPEMD160, BLAKE2* and MD5)
dev-ml/dune-rpc
Communicate with dune using rpc
dev-ml/fiber
Dune's monadic structured concurrency library
dev-ml/eqaf
Constant time equal function to avoid timing attacks in OCaml
dev-ml/ezjsonm
An easy interface on top of the Jsonm library
dev-ml/either
Compatibility module for Either in OCaml 4.12
dev-ml/iter
Simple iterator abstract datatype
dev-ml/jsonrpc
Jsonrpc protocol implementation
dev-ml/lambdasoup
Functional HTML scraping and manipulation library
dev-ml/lsp
LSP protocol implementation in OCaml
dev-ml/mdx
Execute code blocks inside your documentation
dev-ml/lua-ml
An embeddable Lua 2.5 interpreter implemented in OCaml
dev-ml/lwt-dllist
Mutable doubly-linked list with Lwt iterators
dev-ml/ocaml-containers
Modular, clean and powerful extension of the OCaml standard library
dev-ml/merlin-lib
Merlin's libraries
dev-ml/ocaml-csv
CSV library for OCaml
dev-ml/ocaml-hex
Hexadecimal converter
dev-ml/ocaml-syntax-shims
Backport new syntax to older compilers
dev-ml/ocaml-tsort
Easy to use and user-friendly topological sort
dev-ml/ocaml-yaml
Parse and generate YAML 1.1/1.2 files
dev-ml/ocaml-version
Library to parse and enumerate releases of the OCaml compiler
dev-ml/ocamlc-loc
Parse ocaml compiler output into structured form
dev-ml/ocamlformat-rpc-lib
Auto-formatter for OCaml code (RPC mode)
dev-ml/ocamlformat-lib
OCamlFormat is a tool to automatically format OCaml code in a uniform style.
dev-ml/odate
Date & Duration Library
dev-ml/psq
Functional Priority Search Queues for OCaml
dev-ml/otoml
TOML parsing, manipulation, and pretty-printing library
dev-ml/spelll
Fuzzy string searching, using Levenshtein automaton
dev-ml/ppx_yojson_conv_lib
Runtime lib for ppx_yojson_conv
dev-util/coq-lsp
Visual Studio Code Extension and Language Server Protocol for Coq
dev-util/ocamlformat
Auto-formatter for OCaml code
dev-util/ocp-indent
Indentation tool for OCaml, to be used from editors like Emacs and Vim.
sci-mathematics/frama-c-callgraph
Callgraph plugin for frama-c
sci-mathematics/frama-c
Framework for analysis of source codes written in C
sci-mathematics/frama-c-aorai
Aorai (automaton annotations) plugin for frama-c
sci-mathematics/frama-c-dive
Dive plugin for frama-c
sci-mathematics/frama-c-constant-folding
Constant folding plugin for frama-c
sci-mathematics/frama-c-eva
Value analysis (EVA) plugin for frama-c
sci-mathematics/frama-c-e-acsl
Runtime verification of ACSL (E-ACSL) plugin for frama-c