Search:
Search Results
dev-ml/ocaml_intrinsics
invoke amd64 instructions (such as clz,popcnt,rdtsc,rdpmc)
dev-ml/psq
Functional Priority Search Queues for OCaml
dev-ml/randomconv
Convert from random bytes to random native numbers
dev-ml/sexp_pretty
S-expression pretty-printer
dev-ml/int_repr
Integers of various widths
dev-ml/ppx_disable_unused_warnings
Expands [@disable_unused_warnings]
dev-ml/ppx_ignore_instrumentation
Ignore Jane Street specific instrumentation extensions
dev-ml/ppx_log
Lazily rendering log messages
dev-ml/textutils_kernel
Text output utilities
dev-ml/tiny_httpd
Minimal HTTP server with a small request router
sci-mathematics/frama-c-reduc
frama-c plugin to generate ACSL annotations from Eva information
dev-ml/ANSITerminal
Basic control of ANSI compliant terminals and the windows shell
dev-ml/atd
Static types for JSON APIs
dev-util/coccinelle
Program matching and transformation engine
dev-ml/dyn
Dynamic type
dev-ml/ordering
Element ordering
dev-ml/pp
Pretty-printing library
dev-ml/stdune
Dune's unstable standard library
dev-ml/odoc
OCaml documentation generator
dev-ml/odoc-parser
Parser for ocaml documentation comments
dev-ml/coq-menhirlib
A support library for verified Coq parsers produced by Menhir
dev-ml/uuseg
Unicode text segmentation for OCaml
dev-ml/ppx_blob
Include a file as a string at compile time
dev-lang/elpi
Embeddable Lambda Prolog Interpreter in OCaml
dev-ml/zmq
OCaml bindings for ZeroMQ 4.x
dev-ml/zmq-async
Async-aware bindings to ZMQ for OCaml
dev-ml/zmq-lwt
Lwt-aware bindings to ZMQ for OCaml
sci-mathematics/kind2
Multi-engine SMT-based automatic model checker
dev-ml/ppx_globalize
Generates functions to copy local values to the global heap
dev-ml/ppx_stable_witness
Ppx extension for deriving a witness that a type is intended to be stable
dev-ml/ppx_tydi
Let expressions, inferring pattern type from expression
dev-util/comby
A code rewrite tool for structural search and replace that supports ~every language.
dev-ml/shell
Yet another implementation of fork and exec and related functionality.
dev-ml/parany
Parallelize any computation.
dev-ml/mparser
A simple monadic parser combinator library for OCaml.
dev-ml/iso8601
Parser and printer for date-times in ISO8601.
dev-ml/cpu
Pin current process to given core number.
dev-ml/toml
OCaml library for TOML.
sci-mathematics/proverif
Cryptographic protocol verifier in the formal model
app-text/forester
A tool for tending mathematical forests
dev-ml/0install-solver
SAT-based package dependency solver
dev-ml/algaeff
Reusable Effects-Based Components
dev-ml/asai
A library for constructing and printing compiler diagnostics
dev-ml/bwd
Backward lists
dev-ml/domain-local-await
A scheduler independent blocking mechanism
dev-ml/eio
Effect-based direct-style IO mainloop
dev-ml/hmap
Heterogeneous value maps for OCaml
dev-ml/iomux
Unix IO Multiplexer bindings
dev-ml/opam-0install-cudf
Opam solver using 0install backend using the CUDF interface
dev-ml/optint
Efficient integer types on 64-bit architectures