Coccinelle is a free and open source program matching and transformation engine for analysing and modifying C source code.
Read more
Tag: OCaml
Dune – composable build system for OCaml projects
Dune is a fast and composable build system for OCaml projects. It handles the low-level details of OCaml compilation
Read more
5 Top Free and Open Source OCaml Web Frameworks
Here’s our verdict on the best OCaml web frameworks. We only recommend free and open source software here.
Read more
7 Best Free and Open Source OCaml Static Site Generators
We have compiled a list of 5 best OCaml static site generators. All of these tools are released under a freely distributable license.
Read more
Ramen – type-safe static site generator
Ramen is a type-safe static site generator built with OCaml.
Read more
Lambdapi – interactive proof assistant
Lambdapi is an interactive proof assistant based on the λΠ-calculus modulo rewriting.
Read more
HOL Light – interactive theorem prover
HOL Light is an interactive theorem prover and proof checker for formalising and proving mathematical theorems.
Read more
Patdiff – file diff using the Patience Diff algorithm
Patdiff is a command-line diff utility written in OCaml that implements Bram Cohen’s patience diff algorithm.
Read more
Dolm – Lights Out like puzzle game
Dolm is a Lights Out-style puzzle game written in the OCaml language.
Read more
YOCaml – build systems in OCaml
YOCaml is a framework used to describe build systems in OCaml with an API suited for creating static site generators.
Read more
Flow – static type checker
Flow is a static type checker for your JavaScript code. It does a lot of work to make you more productive.
Read more
Infer – static analyzer for Java, C, C++, and Objective-C
Infer is a static analyser for Java, C, C++ and Objective-C, detecting memory errors, null dereferences and concurrency defects.
Read more
semgrep – static analysis for many languages
Semgrep is a fast, open-source, static analysis tool that searches code, finds bugs, and enforces secure guardrails and coding standards
Read more
oyomu – CLI comic collection manager and reader
oyomu is a command line comic collection manager and also a comic reader.
Read more
Docfd – TUI multiline fuzzy document finder
Docfd is a text user interface multiline fuzzy document finder written in OCaml.
Read more
cpdf – PDF Command Line Tools
cpdf (Coherent PDF Command Line Tools) is a set of tools that let you modify PDF files. It’s written in OCaml.
Read more
CamlPDF – OCaml library for reading, writing and modifying PDF files
CamlPDF is an OCaml library for reading, writing and modifying PDF files.
Read more
soupault – static website generator/framework
Soupault (soup-oh) is a static website generator/framework that works with HTML element trees
Read more
Wyrd – text-based front-end to Remind
Wyrd is a text-based front-end to Remind, a sophisticated calendar and alarm program.
Read more
google-drive-ocamlfuse – FUSE filesystem over Google Drive
google-drive-ocamlfuse is a FUSE-based file system backed by Google Drive, written in OCaml. It lets you mount your Google Drive on Linux.
Read more