Showing entries 14701-14800 out of 24085.
Tool to mount OBEX-based devices (such as Bluetooth phones)
Library and tool to access files on OBEX-based devices (such as Bluetooth phones)
Circumvents censorship by transforming Tor traffic between clients and bridges
Management of analyses and data in DNA metabarcoding
Command line tool for manipulating Wavefront OBJ 3D meshes
Converts OBJ files to OGC 3D tiles by performing splitting, decimation and conversion
Object and executable file converter, modifier and disassembler
Runtime mobile exploration toolkit, powered by Frida
Portable framework for the Objective-C language
Ablation Suite for HuggingFace transformers
Simple flashcards application for the COSMIC™ desktop written in Rust
Command-line remote control for OBS
Minimal CLI to control OBS Studio via obs-websocket
CLI for common OBS operations while streaming using WebSocket
Free and open source software for video recording and live streaming
Powerful knowledge base that works on top of a local folder of plain text Markdown files
Rust library and CLI to export an Obsidian vault to regular Markdown
Simple package build system for OCaml
OCaml is an industrial-strength programming language supporting functional, imperative and object-…
Generic OCaml Makefile for GNU Make
A tool to build Makefiles for OCaml projects
Unix-platform DVI previewer and a programmable presenter for slides written in LaTeX
Tool for searching and changing code structure
Minimalistic secure XMPP client in OCaml
Auto-formatter for OCaml code
Auto-formatter for OCaml code
Auto-formatter for OCaml code
Auto-formatter for OCaml code
Auto-formatter for OCaml code
Auto-formatter for OCaml code
Auto-formatter for OCaml code
Auto-formatter for OCaml code
Auto-formatter for OCaml code
Auto-formatter for OCaml code
Curses-based RPN calculator
Statically-typed, functional typesetting system
Efficient implementation of the Lambda Prolog language
Functional programming language based on algebraic effects and their handlers
Auto-formatter for OCaml code
Auto-formatter for OCaml code
High-performance theorem prover and SMT solver
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
ML-like functional programming language aimed at program verification
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
Modular and Open Platform for Static Analysis using Abstract Interpretation
SAT solver binary based on the msat library
Fulfilling input pinning for Nix
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
Symbolic execution for Wasm, C, C++, Rust and Zig
Package manager for SATySFi
Personal Social Web
Engine for displaying slips, the next-gen version of slides
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
Implementation of a tableau-based decision procedure for the full Alternating-time Temporal Logic …
Proxy Wayland connections across a VM boundary
Why3 Package Manager
Superposition prover for full first order logic
OpenTelemetry Collector
Process supervisor and init system written in Rust Programming Language
Advanced OpenComputers emulator
Cross-platform, easy to use, fast and functional audio editor
Command Line Interface for Oracle Cloud Infrastructure
Introspecting Docker images as easy as using Git
Next generation frontend for ownCloud Infinite Scale
OwnCloud Infinite Scale Stack
Orchestrate end-to-end encryption, cryptographic identities, mutual authentication, and authorizat…
OpenCL ICD Loader for opencl-headers-2025.07.22
Simple analog clock using the X11 SHAPE extension to make a round window
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
Wrapper for OCR systems that allows you to perform OCR on DjVu files
Library and tool for OCR, extracting text from images
Open Collaboration System for use with DE store websites
OpenConnect VPN server (ocserv), a server for the OpenConnect VPN client
OCSP responder fetching certificate status from MySQL/MariaDB database
Scientific Programming Language
Scientific Programming Language