Starred repositories
verification toolchain for TypeScript (Tech Preview)
Browse Mastodon, Bluesky, X, Misskey, Nostr and RSS all in one app. One timeline, all your accounts, cross-post everywhere.
Multiple-backend component-based JavaScript framework
Industry standard API mocking for JavaScript.
NEO Emacs (WIP): A GPU-powered Emacs written in Rust with a modern display engine. Aiming for modern design/multi-threaded Elisp, 10x performance and 100% Emacs compatibility. 🚀 Inline 4K images/4K…
Humanizer 的汉化版本，Claude Code Skills，旨在消除文本中 AI 生成的痕迹。
An engine for displaying slips, the next-gen version of slides
weapp-vite 把现代化的 web 开发方式，带入传统的小程序开发吧！
Programming language for literate programming law specification
A next.js web application that integrates AI capabilities with draw.io diagrams. This app allows you to create, modify, and enhance diagrams through natural language commands and AI-assisted visual…
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
Valdi is a cross-platform UI framework that delivers native performance without sacrificing developer velocity.
Automate browser based workflows with AI
⚡ Python-free Rust inference server — OpenAI-API compatible. GGUF + SafeTensors, hot model swap, auto-discovery, single binary. FREE now, FREE forever.
Automation for de Bruijn syntax and substitution in Coq [maintainers=@RalfJung,@co-dan]
Lean Companion to the Category Theory in Context textbook by Emily Riehl
Quick explanation of eliminating left recursion in Haskell parsers
Dev environments for numerous languages based on Nix flakes [maintainer=@lucperkins]
🌌 A complete search engine and RAG pipeline in your browser, server or edge network with support for full-text, vector, and hybrid search in less than 2kb.
Property based testing framework for JavaScript (like QuickCheck) written in TypeScript
A fast, simple TUI for interacting with systemd services and their logs
Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository)