Search:
Search Results
dev-ml/ocamlformat-rpc-lib
Auto-formatter for OCaml code (RPC mode)
dev-ml/ppx_yojson_conv_lib
Runtime lib for ppx_yojson_conv
dev-ml/xdg
XDG Base Directory Specification
dev-ml/ocaml_intrinsics_kernel
Functions to invoke amd64 instructions (such as cmov, min/maxsd, popcnt)
dev-ml/ppxlib_jane
Utilities for working with Jane Street AST constructs
dev-ml/capitalization
Defines case conventions and functions to rename identifiers according to them
dev-ml/ppx_string_conv
Ppx extension for generating of_string & to_string
dev-ml/async_log
Logging library built on top of Async_unix
dev-ml/gel
A library to mark non-record fields global.
dev-ml/ppx_diff
A PPX rewriter that genreates the implementation of [Ldiffable.S].
dev-ml/uopt
An [option]-like type that incurs no allocation
dev-ml/ocaml-crunch
Convert a filesystem into a static OCaml module
dev-ml/iostream
Generic, composable IO input and output streams
dev-ml/0install
Package dependency solver
dev-ml/opam-common
Core libraries for opam
sci-mathematics/coq-stdlib
Stdlib for the Coq/Rocq Prover, used to be part of Coq
dev-ml/angstrom
Parser combinators built for speed and memory-efficiency
dev-ml/bigstringaf
Bigstring intrinsics and fast blits based on memcpy/memmove
dev-ml/crowbar
Write tests, let a fuzzer find failing cases
dev-ml/chrome-trace
Chrome trace event generation library
dev-ml/either
Compatibility module for Either in OCaml 4.12
dev-ml/fiber
Dune's monadic structured concurrency library
dev-ml/jsonrpc
Jsonrpc protocol implementation
dev-ml/merlin-lib
Merlin's libraries
dev-ml/ocaml-syntax-shims
Backport new syntax to older compilers
dev-ml/lsp
LSP protocol implementation in OCaml
dev-ml/lwt-dllist
Mutable doubly-linked list with Lwt iterators
dev-ml/ocamlformat-lib
OCamlFormat is a tool to automatically format OCaml code in a uniform style.
dev-ml/stringext
Extra string functions for OCaml
dev-ml/psq
Functional Priority Search Queues for OCaml
dev-ml/uri
An RFC3986 URI/URL parsing library
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-aorai
Aorai (automaton annotations) plugin for frama-c
sci-mathematics/frama-c-callgraph
Callgraph 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-dive
Dive plugin for frama-c
sci-mathematics/frama-c-e-acsl
Runtime verification of ACSL (E-ACSL) plugin for frama-c
sci-mathematics/frama-c-from
From analysis plugin for frama-c
sci-mathematics/frama-c-impact
Impact plugin for frama-c
sci-mathematics/frama-c-instantiate
Instantiate analysis plugin for frama-c
sci-mathematics/frama-c-inout
In/out analysis plugin for frama-c
sci-mathematics/frama-c-loopanalysis
Loop analysis plugin for frama-c
sci-mathematics/frama-c-metrics
Metrics plugin for frama-c
sci-mathematics/frama-c-nonterm
Nonterm plugin for frama-c
sci-mathematics/frama-c-obfuscator
Obfuscator plugin for frama-c
sci-mathematics/frama-c-printapi
Plugin generating .mli interface files for plugin APIs for frama-c
sci-mathematics/frama-c-qed
Qed plugin for frama-c