Skip to content

LinuxLinks

The Linux Portal Site

  • Home
  • Software
  • Hardware
  • Reviews
  • Series
  • Search

Tag: OCaml

Coding

Infer – static analyzer for Java, C, C++, and Objective-C

December 4, 2025 Eilidih Parris CLI, Programming

Infer is a static analysis tool for Java, C++, Objective-C, and C. Infer is written in OCaml.

Read more

semgrep – static analysis for many languages

September 18, 2025 Eilidih Parris Programming

Semgrep is a fast, open-source, static analysis tool that searches code, finds bugs, and enforces secure guardrails and coding standards

Read more
Comic Books

oyomu – CLI comic collection manager and reader

March 1, 2025 Steve Emms CLI, Other

oyomu is a command line comic collection manager and also a comic reader.

Read more
Files

Docfd – TUI multiline fuzzy document finder

February 2, 2025 Steve Emms CLI, Utilities

Docfd is a text user interface multiline fuzzy document finder written in OCaml.

Read more
PDF

cpdf – PDF Command Line Tools

November 17, 2024 Steve Emms CLI, Documents

cpdf (Coherent PDF Command Line Tools) is a set of tools that let you modify PDF files. It’s written in OCaml.

Read more
PDF

CamlPDF – OCaml library for reading, writing and modifying PDF files

September 23, 2024 Steve Emms Programming

CamlPDF is an OCaml library for reading, writing and modifying PDF files.

Read more
Development Tools

5 Top Free and Open Source OCaml Web Frameworks

September 8, 2024 Eilidih Parris Programming, Roundup

Here’s our verdict on the best OCaml web frameworks. We only recommend free and open source software here.

Read more
Static Site Generators

5 Best Free and Open Source OCaml Static Site Generators

August 29, 2024 Eilidih Parris Internet, Roundup, Web Apps

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
Static Site Generators

soupault – static website generator/framework

August 29, 2024 Eilidih Parris Web Apps

Soupault (soup-oh) is a static website generator/framework that works with HTML element trees

Read more

Wyrd – text-based front-end to Remind

July 1, 2024 Steve Emms CLI, Productivity

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

November 10, 2023 Steve Emms Internet

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
Best Free and Open Source Proof Assistants

Coq – formal proof management system

November 8, 2023 Steve Emms Scientific

Coq is a formal proof management system. This is free and open source software developed by a wide range of institutions.

Read more
Development Tools

morph – intuitive, easy to use web framework

October 28, 2023 Eilidih Parris Programming

morph is a web framework built on the notion of transforming requests and responses.

Read more
Development Tools

ocaml-webmachine – REST toolkit for OCaml

October 28, 2023 Eilidih Parris Programming

ocaml-webmachine is a layer on top of cohttp that implements a state-machine-based HTTP request processor.

Read more
Development Tools

OCaml – Sinatra like web toolkit

October 28, 2023 Eilidih Parris Programming

Opium is a Sinatra like web toolkit for OCaml. The toolkit is based on http/af and lwt.

Read more
Development Tools

Eliom – framework for building client/server Web and mobile applications

October 28, 2023 Eilidih Parris Programming

Eliom is a framework for building client/server Web and mobile applications in OCaml.

Read more
Development Tools

Dream – tidy web framework for OCaml and ReasonML

October 28, 2023 Eilidih Parris Programming

Dream is a tidy, feature-complete web framework. It adheres to base OCaml types as much as possible.

Read more
Static Site Generators

Finch – simple and fast site generator

October 27, 2023 Eilidih Parris Web Apps

Finch is billed as a simple and fast site generator. It can be used as a generic static site generator using Markdown files.

Read more
Static Site Generators

Stone – static website generator

October 27, 2023 Eilidih Parris Web Apps

Stone is a static website generator written in the OCaml programming language.

Read more
Static Site Generators

Canopy – git-blogging unikernel

October 27, 2023 Eilidih Parris Web Apps

Canopy is an attempt at writing a blog-engine based on Git using MirageOS. Canopy is free and open source software.

Read more

Posts pagination

1 2 Next Posts»

Best Free Software

Document Management Systems
Documents
Web Browsers
Internet
Education
Education
Internet Radio
Audio
YouTube Tools
Video
Paint Palette
Graphics
System Administration
Admin
Docks
Desktop
Productivity
Productivity
Genome Browsers - Web Based
Science
Games
Games
Vulnerability detection
Security
Replacements for du
Utilities
Object Relational Mapping
Coding
Stockmarket
Finance
Web Delivery
Web Apps
Crafting
Other
Programming Books
Books

Data Science

Data ScienceTake our free interactive courses in data science. There are courses for Python using pandas and plotnine and R using ggplot2.

Get up to speed in 20 minutes. No programming knowledge is required.

Recent Comments

  • Sam on 7 Best Free and Open Source Process Memory Tools
  • Torin Doyle on LeenFetch – system information tool
  • Nester on Garuda Linux – gaming distro based on Arch Linux
  • Steve Emms on Gopher2600 – emulator for the Atari 2600
  • Torin Doyle on Gopher2600 – emulator for the Atari 2600
  • Steve Emms on BOSGAME M4 Plus Mini PC running Linux: Introduction to the Series
  • martin on BOSGAME M4 Plus Mini PC running Linux: Introduction to the Series
  • kilo on mommy – support tool
  • james stanely on TUISIC – simple TUI online music streaming software
  • Juan on HP ProBook 440 G8 Laptop running Linux: Introduction to the Series

Programming Books

Read our curated lists of great free programming books. Learn Java, C, Python, C++, C#, JavaScript, PHP, and many more languages.

Alternatively, check out our series of great free programming tutorials.

Feedback

Help expand our coverage of Linux software by completing our:

  • Open-source software form
  • Linux distro form

Your feedback is very much appreciated. Complete our contact form.

Support Us


Donate
to LinuxLinks

Thank you for supporting LinuxLinks. If you like our site, the best way to ensure it remains available is to make a donation.

Small Devices

We’re publishing a series of articles for each of these Linux-based phones, Mini PCs, SBCs, and NAS devices.

BOSGAME M6 HX370 – AMD
BOSGAME M4 Plus – AMD
Minisforum AI X1 Pro – AMD
Minisforum UM890 Pro – AMD
Volla Phone Quintus with UT (ARM)
HP ProBook 440 G8 Refurb – Intel
ASRock NUC BOX-255H – Intel
Aiffro K100 All-SSD NAS – Intel
Orange Pi 6 Plus (ARM)
Orange Pi R2S (RISC-V)
Orange Pi RV2 (RISC-V)
Orange Pi 5 Ultra and Max (ARM)
Raspberry Pi 5 (ARM)

Other SBC series are available on our Series landing page.

Replace Proprietary Software

Migrate from large multinational software companies and embrace free and open source solutions.

Google
Google
Microsoft
Microsoft
Apple
Apple
Adobe
Adobe
IBM
IBM
Autodesk
Autodesk
Oracle
Oracle
Atlassian
Atlassian
Corel
Corel
Cisco
Cisco
Intuit
Intuit
SAS
SAS
Progress
Progress
Salesforce
Salesforce
Citrix
Citrix

Reviews

ReviewsWe’ve written tons of in-depth and completely impartial reviews of open source software. Read our reviews.

New to Linux?

NewbieBegin your Linux journey with our easy-to-understand guide designed for newcomers.

Mega Compilations

100 GUI Apps
100 TUI Apps
100 CLI Apps

Recent Posts

  • NATMap – TCP/UDP port mapping for full-cone NAT
  • kapp – simple deployment tool
  • LinuxLinks – The Home of Linux
  • Mint – programming language for the front-end web
  • kcaldav – simple, safe, and minimal CalDAV server
  • 7 Best Free and Open Source Linux Web Caches
  • Fortress – file explorer with git niceties
  • 9 Best Free and Open Source Functions-as-a-Service
  • MangoWC – Wayland compositor
  • prmt – ultra-fast, customizable shell prompt generator

Desktops

9 Best Desktops
24 KDE Themes
33 KDE Widgets
42 GNOME Extensions
Pantheon, Trinity, LXDE

Archives

Related

Contact us
Link us
FAQ
ForFOSS.com
OSSBlog.org
Privacy Policy

© LinuxLinks 1998-2025: Designed by LinuxLinks.