An extremely small, intuitive and fast functional utility library for JavaScript
- javascript
- functional
- lightweight
- fast
Repository Index
47,133 repositories indexed
529–552 of 935 · Most stars
Send buffers into early retirement by automatically closing them after x minutes of inactivity.
- buffer-management
- neovim-plugin
- nvim-plugin
ReMCTS
create a map by R
Formal proof of the Four Color Theorem [maintainer=@ybertot]
- coq
- ssreflect
- mathcomp
- four-color-theorem
Remote Memory Acquisition Tool
Kubernetes operator for self-hosted LLM inference across a heterogeneous GPU fleet: NVIDIA CUDA, AMD Vulkan, and Apple Silicon Metal. Runtimes: llama.cpp, vLLM, TGI, mlx-server. Multi-GPU sharding, model caching, OpenAI-compatible endpoints. Apache-2.0, run across homelab and on-prem fleets, actively developed.
Native Windows PC port of The Last of Us Remastered (PS4, CUSA00552). Runs the game’s own x86-64 code on a custom runtime, with PS4 system libraries reimplemented and a Vulkan renderer based on shadPS4. Includes a launcher. No game files included: you need your own copy.
- pc-port
- ps4
- reverse-enginnering
- shadps4
A free skill for Claude Code and OpenCode (runs on a free model): one topic line in, a finished 15-25 s What If animated episode out. Every frame drawn in code (SVG + Remotion); voice and sound from ElevenLabs.
Remote app dock and control surface for a Windows or Linux (Hyprland) PC, driven from a phone over Wi-Fi or USB.
CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory
- coq
- hammer
- automation
- proof-search
Remember file locations and sort by time and frequency and support telescope.
Open source remote sensing dataset with benchmarks
phase4 - AS4 client and server for integration into existing systems. Specific support for Peppol and CEF eDelivery built-in.
- as4
- java
- eprocurement
- einvoicing
OpenAS2 is a java-based implementation of the EDIINT AS2 standard. It is intended to be used as a server. It is extremely configurable and supports a wide variety of signing and encryption algorithms.
Hand-drawn and pixel-art explainer videos written entirely in code — Remotion + React + SVG, procedural music & SFX, subtitle-driven timing
Overleaf CLI - pull, push, sync, compile LaTeX projects from your terminal. Git remote helper, MCP server for AI agents, and TypeScript library.
A community-curated directory for exploring, requesting, and supporting independently recreated software
- clean-room
- clean-room-reimplementation
- community
- community-driven
Desktop based tool for viewing, editing and saving road network maps for autonomous vehicle platforms such as Autoware.
Hardware testing for the software world. Real or virtual, local or remote, human, automated or agentic.
- hardware
- hardware-in-the-loop
- hil
- testing-framework
Marshroute is an iOS Library for making your Routers simple but extremely powerful
- ios
- swift
- router
- viper
dx.bi: a Netflix-style Stremio app for Windows, macOS, Linux, Android TV, Google TV and Fire TV. Also available as a Stremio Enhanced plugin.
- netflix-ui
- stremio
- stremio-enhanced
- desktop-app
git transport helper for ipfs
Style Art library process images using COREML with a set of pre trained machine learning models and convert them to Art style.
- coreml
- prisma
- neural-network
- ios