Skip to content

LinuxLinks

The Linux Portal Site

  • Home
  • Best Software
  • Reviews
  • Series
  • Info
  • Search

Tag: OCaml

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

Posts pagination

1 2 3 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

  • Miles on Minisforum AI X1 Pro: Jan – Chat with AI without privacy concerns
  • Miles on Minisforum AI X1 Pro: ComfyUI – Generate video, images, 3D, audio with AI
  • Steve Emms on openmamba – Linux based operating system
  • Ian "Doogal" Jenkins on openmamba – Linux based operating system
  • Steve Emms on openmamba – Linux based operating system
  • Tony Smith on openmamba – Linux based operating system
  • Steve Emms on Linux for Starters: Your Guide to Linux – Introduction
  • Gospel Yeshua on Linux for Starters: Your Guide to Linux – Introduction
  • Gospel Yeshua on 6 Useful Free and Open Source Linux WhatsApp Clients
  • Gospel Yeshua on Tunarr – create and configure live TV channels

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.

Minisforum AI X1 Pro – AMD Ryzen
Volla Phone Quintus with UT (ARM)
ASRock NUC BOX-255H (x86_64)
Aiffro K100 All-SSD NAS (x86_64)
Radxa Cubie A7A (ARM)
Radxa ROCK 5T (ARM)
Radxa ROCK 4D (ARM)
Firefly AIBOX-3588S (ARM)
Banana Pi BPI-F3 (RISC-V)
Orange Pi R2S (RISC-V)
Orange Pi RV2 (RISC-V)
Orange Pi 5 Ultra and Max (ARM)
Raspberry Pi 5 (ARM)

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

  • 26 Sparkling Free and Open Source CLI Linux Time Trackers
  • Violations Lib – parse report files from static code analysis
  • SSHR – TUI SSH manager
  • Hunt – word search game
  • PyMarkdown – Markdown linter
  • Volla Phone Quintus running Ubuntu Touch: Waydroid battery life
  • Radxa OS – Debian-based Linux distribution
  • 28 Best Free and Open Source Command Line Navigation Tools
  • Aurea – Flatpak metainfo banner previewer
  • Octopi – powerful Pacman Qt frontend

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.