Showing entries 12801-12900 out of 20810.
Object and executable file converter, modifier and disassembler
GCC wrapper that makes it easy to embed secure computation protocols inside regular C programs
A simple flashcards application for the COSMIC™ desktop written in Rust
OBS-cli is a 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
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
Friendly Smart Contract Language for Tezos
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
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-2023.12.14
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
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