Packages

Efficient implementation of the Lambda Prolog language

High-performance theorem prover and SMT solver

Modal Homotopy Type System

Functional language for reasoning about formal systems

Convert a filesystem into a static OCaml module

Command line tool for handling CSV files

TUI multiline fuzzy document finder

Reads config files for merlin

Release dune packages in opam

Functional programming language based on algebraic effects and their handlers

FUSE-based file system backed by Google Drive, written in OCaml

Small script to submit to Gradescope via GitHub

Lightweight tool for managing headers in source code files

Git mergetool leveraging code formatters

A Modular and Open Platform for Static Analysis using Abstract Interpretation

SAT solver binary based on the msat library

Simple tool which produces pretty-printed output from a Menhir parser file (.mly)

Simple cross-platform OCaml code editor built for top-level evaluation

I18n made easy for web sites written with eliom

Handle (un)installation from opam install files

Tool to ease contributions to opam repositories

Tool that helps you create and manage static websites

Implementing a spatial model inspired by Material Shell, for i3 and sway

Stan compiler and utilities

Proxy Wayland connections across a VM boundary

OpenTelemetry Collector

Cross-platform, easy to use, fast and functional audio editor

Command Line Interface for Oracle Cloud Infrastructure

OwnCloud Infinite Scale Stack

Orchestrate end-to-end encryption, cryptographic identities, mutual authentication, and authorizat…

OpenCL ICD Loader for opencl-headers-2024.05.08

OpenCL device simulator and debugger

CLI for the Red Hat OpenShift Cluster Manager

OpenConnect proxy

ANSI OCR font from the '60s

Optical character recognition (OCR) program & library

Complete Optical Character Recognition and Document Analysis and Recognition program

Adds an OCR text layer to scanned PDF files, allowing them to be searched

Open Collaboration System for use with DE store websites

OpenConnect VPN server (ocserv), a server for the OpenConnect VPN client

Scientific Programming Language

Scientific Programming Language

Github user information on terminal

Probabilistic, flexible, and compact 3D mapping library for robotic systems

Snappy web interface for your 3D printer

Real-space time dependent density-functional theory code

Bayesian haplotype-based mutation calling

Static vulnerability scanner for GitHub action workflows

Commandline tool for joining, analyzing and transforming data from multiple databases and file for…

Advanced Github OSINT framework

Minimalistic crossplatform image viewer written in Rust

For converting between different versions of .dwg and .dxf

Client/server port for playing old-school Doom online

Odd Job Daemon

Open Dynamics Engine

Fast, concise, readable, pragmatic and open sourced programming language

Odin 2 Synthesizer Plugin

Developer-focused CLI for OpenShift and Kubernetes

Open Source ERP and CRM

Open Source ERP and CRM

Open Source ERP and CRM

Open Source ERP and CRM

Oracle ODPI-C library

Secure boot enabled boot loader for ODROID-XU{3,4}

Simple .odt

Scalable PostgreSQL connection pooler

Portable ed editor from OpenBSD

Advanced bitbake-recipe linter

Tool to test APIs for prevalent vulnerabilities

Collection of offensive tools targeting Microsoft Azure

Customized version of Source Code Pro

Synchronize emails between two repositories, so that you can read the same mailbox from multiple c…

Command-line and offline-first smolnet browser/feed reader

Offline RSS/Atom reader

Tool to unpack the zip data contained in any type of file

Infrastructure for building mobile telephony (GSM/UMTS) applications

Phone Simulator for modem testing

Open Graph Drawing Framework/Open Graph algorithms and Data structure Framework

Toolbox for manipulating and creating Ogg video files

Tools for modifying and inspecting OGG media streams

Like cargo, but backwards

3D Object-Oriented Graphics Rendering Engine

3D Object-Oriented Graphics Rendering Engine

Very nice animated wallpaper daemon for Wayland compositors

New Unix shell

Fish Shell Framework

Interactive Git learning game

Prompt theme engine for any shell

Framework for managing your zsh configuration

HTTP load generator inspired by rakyll/hey with tui animation

Manage OpenID Connect tokens on the command line

Configurable Ident protocol server

Search-as-you-type cli frontend for the buku bookmarks manager using peco

Naval strategy game

Unix shell with JSON-compatible structured data

Unix shell with JSON-compatible structured data

Dynamic DNS client for Porkbun

Object-oriented C++ input system

Okapi Library