Showing entries 11401-11500 out of 21173.
Thinking Notebook & Markdown IDE
Official launcher for Minecraft, a sandbox-building game
Minecraft Server
Autostart and stop minecraft-server when players join/leave
Cool Minecraft font
Sweep some mines for fun, and probably not for profit
Realtime mapserver for minetest
Minimalistic C++ unit test framework
Fully-featured minimalistic configurable calculator written in Rust
Minimalistic high-performance web server
Short read genome assembler
Light-weight integrated development environment for the ChucK digital audio programming language
Single header audio playback and capture library written in C
Smallest Enclosing Balls of Points
Simple tool for generating self signed certificates
Modem control and terminal emulation program
Black-and-white djvu page encoder and decoder that use interpage information
Media server software
Control interface for some MiniDSP products
Go minifiers for web formats
Simple GOG client for Linux
Sandboxing library and application using Linux namespaces and capabilities
Set of tools for minijail
Command Line Utility to render MiniJinja/Jinja2 templates
Tool that makes it easy to run Kubernetes locally
Simple X-Window (X11R6) programming API in C
Open-source minimalist computing technology
Versatile pairwise aligner for genomic and spliced nucleotide sequences
General-purpose software audio FSK modem
Emulator for rapid prototyping of Software Defined Networks
Simple Minio tool to generate self-signed certificates, and provides SAN certificates with DNS and…
Replacement for ls, cp, mkdir, diff and rsync commands for filesystems and object storage
Curses-based MPD client with basic functionality that can also display an album art
Open source program for controlling the MiniPRO TL866xx series of chip programmers
Compact and readable SAT solver
Compiler and inspector for the miniscript Bitcoin policy language
CLI tool to serve files and directories over HTTP
Simple tool for signing files and verifying signatures
Small daemon to speed up UPnP device discoveries
Simple tool for statistical comparison of data sets
Stand-alone YouTube video player
Client that implements the UPnP Internet Gateway Device (IGD) specification
Daemon that implements the UPnP Internet Gateway Device (IGD) specification
Daemon that implements the UPnP Internet Gateway Device (IGD) specification
Single C source file zlib-replacement library
Minisign reimplemented in Zig
Medium-level constraint modelling language
IDE for MiniZinc, a medium-level constraint modelling language
Compression library implementing the deflate compression method found in gzip and PKZIP
Fork of the popular zip manipulation library found in the zlib distribution
Fork of the popular zip manipulation library found in the zlib distribution
Refreshing language for the front-end web
Music Education Software
Dynamically enable sections of config files
Tiling Wayland compositor based on Mir
Connect external monitors via Wi-Fi
Sharp, readable, vector-y version of Monocraft
Resource manager for TV tuners
Compiler for Miranda -- a pure, non-strict, polymorphic, higher order functional programming langu…
Teredo IPv6 Tunneling Daemon
Mir based Wayland compositor
Geographical download redirector for distributing files efficiently across a set of mirrors
Medical image registration library and tools
Stream anime torrents, real-time with no waiting for downloads
Tool to uncover security misconfigurations on popular third-party services
Front-end to your dev env
Front-end to your dev env
Find Win32 applications
Monitor your CPU, Memory, Disk, Network and GPU usage
ArduPilot ground station
🌎 An interplanetary microblogging platform 🚀
Blazingly fast LLM inference
MIT/GNU Scheme, a native code Scheme compiler
MIT/GNU Scheme, a native code Scheme compiler
Library that provides result<T, E> and maybe<T> and monadic functions for them
A MITM caching proxy for use in nixpkgs
DHCPv6 network spoofing application
Man-in-the-middle proxy
Tool to automagically reverse-engineer REST APIs
Generate nix expressions from mix.lock file
Minimalistic and customizable volume mixer
Digital DJ mixing software
Suite of programs for processing MPEG or MJPEG video