Terminal manipulation library for OCaml
- ocaml
Repository Index
71,372 visible repositories in the index
25–48 of 77 · Most stars
A REST toolkit for OCaml
- ocaml
- webmachine
- web
- http
Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]
- coq
- ide
- user-interface
- vscode-extension
Automated S-expression conversion
OSnap is a snapshot testing tool, which mainly focuses on speed and ease of use.
- diff
- snapshot-testing
- testing
- snapshot
An OCaml generic virtual machine for microcontrollers
SIMT Abstractions for Runtime Extensible Kernels (GPGPU programing with OCaml)
- spoc
- ocaml
- opencl
- cuda
Error-recovering streaming HTML5 and XML parsers
OCaml Bioinformatics Library
Pure OCaml implementation of Zlib.
- ocaml
- zlib
- compression
- decompression
OCaml Math Library
Caml on the Web (COW) is a set of parsers and syntax extensions to let you manipulate HTML, CSS, XML, JSON and Markdown directly from OCaml code.
Exercism exercises in OCaml.
- exercism-track
- community-contributions-accepted
- maintained-solitary
Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
- coq
- dependency-graph
- dependency-analysis
- docker-coq-action
BLAS and LAPACK binding in OCaml with type-based static size checking for matrix operations
An SMT solver frontend for OCaml
- ocaml
- smt-lib
- symbolic-execution
- z3
Easy to use Makefile for small to medium-sized OCaml-projects
- ocaml
- makefile
OCaml Amqp client library for Async and Lwt.
- amqp-client
- rabbitmq
- async
- ocaml
A simple multi-format pretty-printer for Menhir.
- ocaml
- menhir
- parser
- pretty-print
Object Relational Mapper extension
Famous 99 problems in OCaml
Micro-benchmarking library for OCaml
Python bindings for the Coq interactive proof assistant
- python
- coq
- verification
- machine-learning
OCaml bindings to MariaDB, supporting the nonblocking API