Starred repositories
Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh
(ECCV 2026 oral & best paper candidate) LingBot-Map: Geometric Context Transformer for Streaming 3D Reconstruction
Connect your devices to NervesCloud or your self-hosted NervesHub platform with the NervesHubLink library.
A high-performance ASCII video rendering engine featuring real-time WebSocket binary streaming and an isolated compiler for serverless static generation. Built for low-latency 30 FPS playback on HT…
Backrest is a web UI and orchestrator for restic backup.
Free, open-source VHS effect. Standalone application + plugin (After Effects, Premiere, and OpenFX).
Academic Research Skills for Claude Code: research → write → review → revise → finalize
Unified Schema-Based Information Extraction
Self-hosted software for managing artisanal D2C micro-businesses
A kubectl plugin to easily get an Erlang/Elixir shell
A Visual Studio Code extension for the Expert language server.
Stream Deck integration for Tabletop Audio Custom SoundPad
PDF Parser for AI-ready data. Automate PDF accessibility. Open-source.
🔊 High-precision web player for multi-device audio playback and spatial audio.
WebSocket client for Elixir, built atop the Mint ecosystem
Self-hosted bookmark manager that is designed be to be minimal, fast, and easy to set up using Docker.
Use Gleam inside an Elixir project with good developer experience in both codebases
All-in-one delivery platform for AI-driven development.
Tool for debugging LiveView applications
A command-line application to convert images, PDFs, and audio files to text using Apple's APIs
A VS Code extension for fast and reliable Elixir code refactoring.
Mishka Chelekom is a fully featured components and UI kit library for Phoenix & Phoenix LiveView
Platform for hosting and sharing terminal session recordings
Audio server that can play to AirPlay 1+2 speakers (multiroom), Chromecast and locally. Supports Spotify, internet radio and many file formats. Also MPD server, iTunes DAAP, smart playlists, Apple …
Online tabletop audio sharing for Discord