Showing entries 13101-13200 out of 21173.
GTK-based launchers: application grid, button bar, dmenu for sway and other window managers
Nwg-look is a GTK3 settings editor, designed to work properly in wlroots-based Wayland environment
MenuStart plugin for nwg-panel
GTK3-based panel for Sway window manager
Securely erase disks
App runtime based on Chromium and node.js
App runtime based on Chromium and node.js
An app runtime based on Chromium and node.js
Convert Nintendo Switch executable files to ELFs
Domain (ad) block list creator
Complete open-source clone/rewrite of the masterpiece jump-and-run platformer Doukutsu Monogatari …
Freescale/NXP I.MX chip image deploy tools
Nyancat in your terminal, rendered through ANSI escape sequences
Proxy server, supporting SOCKS 4 and 5, as well as a mirror mode
Mixnet providing IP-level privacy
Command-line monitor for Tor
Infinitely extensible web-browser (with Lisp development files using WebKitGTK platform port)
Command line tool for downloading files from news servers
Usenet meta search
Expressive, simple, dynamic programming language
Analysis and management tools for an Open Asset Model database
OAuth credential MAnager
Go client and server OpenAPI 3 generator
Components for building one-time password authentication systems
Components for building one-time password authentication systems
Open-source identity and access proxy that authorizes HTTP requests based on sets of rules
Light and powerful C++ web framework for highly scalable and resource-efficient web applications
Reverse proxy that provides authentication with Google, Github, or other providers
Reverse proxy that provides authentication with Google, Github, or other providers
User-friendly OAuth2 CLI
Simple CLI for interacting with Google API authentication
XOAUTH2 compatible Office365 token fetcher
Ad-hoc ClojureScript scripting of Mac applications via Apple's Open Scripting Architecture
GUI configuration tool for openbox
Emulator for the Oberon RISC machine
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
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