Repository Index

Synaplan Desktop — pair a computer with your Synaplan workspace and run Agent Skills locally (Windows, macOS, Linux)

• agent-skills
• apache2
• desktop
• tauri

Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]

• coq
• ide
• user-interface
• vscode-extension

Ruixen UI – A modern, flexible, and customizable UI component library built for speed, scalability, and developer happiness.

• components
• framer-motion
• nextjs
• react

Mir (backports): Sparse tensors, Hoffman

• mir
• glas
• blas
• mir-glas

MicroPython driver for MAX7219 8x8 LED matrix modules, cascadable and with framebuf

• micropython
• max7219
• led-matrix
• framebuf

TranslatedA relay API jailbreak project written in Rust, supporting the Responses / Chat Completions / Anthropic Messages APIs, and supporting most mainstream models such as ChatGPT/Claude/Grok/Gemini/Deepseek/Glm/Kimi

Collection of Swift-extensions to boost development process.

• extensions
• awesome
• awesome-swift
• open-source

EVTXtract recovers and reconstructs fragments of EVTX log files from raw binary data, including unallocated space and memory images.

AZSafariCollectionViewLayout is replica of safari browser history page layout. very easy to use, IBInspectable are given for easy integration

Postgres clone schema utility without need of going outside of database. Makes developers life easy by running single function to clone schema with all objects. It is very handy on Postgres RDS. Utility is sponsored by http://elephas.io/

Lint the rendered UI: catches overflowing text, low contrast, overlaps, broken responsive layouts, emoji icons and more in any web framework. Built for AI coding agents.

• accessibility
• ai-agents
• claude-code
• contrast

Inspired by A Dark Room, A Dark Forest is an incremental experimental minimalistic idle game project.

• clicker-game
• desktop-app
• godot
• godot-engine

TranslatedIP Bot is a free, open-source workbench and backend for creating videos with a digital-human IP spoken-narration agent. The same one used in Dr. 罗根旗 (Luo Genqi)'s livestream room. Can be deployed locally or in the cloud.

• digital-human
• electron
• speech-synthesis
• video-generation

A Clojure & ClojureScript DSL for SQL

• clojure
• clojurescript
• sql
• postgresql

The multi-framework JavaScript library for responsive images.

• responsive
• ember
• responsive-images
• sharp

A Minecraft-inspired game for the terminal

• python
• pycraft
• game

Space Age seD in Neovim. A project-wide find and replace plugin for Neovim.

• neovim
• neovim-plugin
• find-and-replace

A cryptographic toolkit written in Common Lisp

Umbrella package of the 'spatstat' family................

• r
• spatial-analysis
• spatial-data
• spatstat

Collect VMware vSphere, vCenter and ESXi performance metrics and send them to InfluxDB

This is an aspiring project aimed at accumulating knowledge from the world of cybersecurity and presenting it in a cogent way, so it is accessible to as large an audience as possible and so that everyone has a good resource to learn hacking from.

• cryptography
• hacking
• system
• cheatsheet

Qt5 suite that supports displaying and editing nodes in a graph-like flow. Similar to Unreal Kismet, Frostbite 3 Schematics or Allegorithmic Substance Designer UIs.

A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter

JavaScript client for Deutsche Bahn public transport APIs.