How this analysis was created: This summary and feature list are AI-generated from collected project material and can contain mistakes. Stars, license and language are imported from GitHub. Inclusion does not mean that we have tested or audited this project. Check the source documentation for any feature you depend on. Learn more on our About page.
Standard library for OCaml
The main features of janestreet/base are: Application Libraries, Large Scale Examples.
Projects with overlapping indexed features include: cil-project/cil — C Intermediate Language. coq/coq — Coq is an interactive theorem prover and proof assistant used for formal mathematical verification and verified… dbuenzli/cmdliner — Declarative definition of command line interfaces for OCaml. janestreet/core — Jane Street Capital's standard library overlay. libguestfs/libguestfs — library and tools for accessing and modifying virtual machine disk images. c-cube/ocaml-containers — A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads,…
Coq is an interactive theorem prover and proof assistant used for formal mathematical verification and verified software development. It utilizes the Gallina functional language to define computable functions and logical propositions, which are then verified through a machine-checked kernel. The system employs a dependent type system and a Caldicott-style proof engine to automate proof search and tactic execution. These capabilities allow for the creation of formal specifications and the development of algorithms that are mathematically proven to meet specific requirements. The toolset inclu
A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.
