Repository Index

Python implementation of the Short Term Objective Intelligibility measure

A Coq IDE build on top of Proof General's Coq mode

• proof-general
• coq
• integrated-development-environment
• company-mode

Speech synthesis, speech recognition and voice activity detection for voice conversation, in C++ on ggml: Qwen3-TTS, Irodori-TTS, Qwen3-ASR, ReazonSpeech, parakeet and Silero VAD on Metal, Vulkan and the CPU, with an OpenAI-compatible server and live transcription.

• cpp
• ggml
• gguf
• metal

Pattern Matcher Compatible with Optima

• pattern-matching
• common-lisp

Battlefield 2 Compatible Source Code

A playout client for Windows/Linux/macOS that will let you control CasparCG Server, BMD ATEM, OBS Studio, vMix, OSC-compatible devices, HTTP (REST)-compatible devices, and more!

• broadcast
• casparcg
• companion
• obs

Compatibility layer and high level emulator hybrid for running macOS applications across operating systems and architectures

• compatibility-layer
• macos
• macos-compatibility
• high-level-emulation

Twilio API client for Elixir

• elixir
• twilio
• hex

An Android AI Agent built on DeepSeek Harness, with Android Use tools, voice and a cat companion.

OpenAI-compatible async gateway for muse.ai with pluggable drivers (mock / browser-CDP / http)

Can bus monitoring tool based on arduino and can bus shield. Implements CAN ASCII/SLCAN protocol compatible with Lawicel CAN232/CANUSB. Can be used for monitoring low speed CAN (interior can bus of most cars, less than 500kbps). For higher speeds serial port can become a bottleneck in case data density is high.

• can-bus
• arduino
• protocol
• slcan-protocol

Game Boy ROM disassembler with RGBDS compatible output

• rgbds
• disassembler
• reverse-engineering
• game-boy

Aquaria open source, forked from icculus.org due to inactivity. Has many enhancements compared to the original version.

• game

A Rust port of NVIDIA's SMLib B-rep kernel (CAD subset): safe, deterministic, wasm-compatible

SquirrelJME is a Java ME 8 Virtual Machine for embedded and Internet of Things devices. It has the ultimate goal of being 99.9% compatible with the Java ME standard.

• squirreljme
• java
• java-me
• iot

Install Tiledesk on your server using Helm for Kubernetes orchestration and Docker Compose for running multi-container Docker applications. Tiledesk provides an open-source solution comparable to Voiceflow, empowering you to create sophisticated LLM-enabled chatbots that seamlessly transition interactions to human agents when needed.

• kubernetes
• docker
• helm-charts
• installation

A particle system for the Starling framework, compatible with the "Particle Designer" from 71squared.com

A Claude Code skill that designs a brand identity as one system: logo, typography and colour palette built together from one brief, measured, compared as identity cards, and delivered as a brand guidelines kit.

• accessibility
• agent-skills
• brand-identity
• branding

This repository contains code that accompanies presentation ASC LAB team gave at meetup about “Creating better code with Domain Driven Design”.

Sympa, Mailing List Management Software

• sympa
• mailing-list
• mailinglist
• discussion-platform

TranslatedMCP desktop companion for AI agent status, usage tracking, and everyday tools. Anything Universe · Desktop companion and entry point to everyday tools.

• ai-agent
• desktop-pet
• llm
• mcdonalds

Multi Page App (MPA) framework for PocketBase

Seamless long-form MiniMax H3 video generation for ComfyUI with native AV latent continuity, chunked sampling, session resume, and Spectrum/Sage/Sol compatibility.

🎨 Open source .NET library for working with color spaces.

• adobe-rgb
• bradford
• c-sharp
• cct