Starred repositories
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)
OSS-Fuzz - continuous fuzzing for open source software.
Haskell library for conditional tracing, "0 overhead" if disabled, TH formatter
eBPF-based Linux high-performance transparent proxy solution.
The web framework for content-driven websites. ⭐️ Star to support our work!
A Tufte-inspired LaTeX class for producing handouts, papers, and books
NIx Language server, an incremental analysis assistant for writing in Nix.
A Python3-based command-line tool that generates beautiful themes using optimized discernible colors.
A modern step-through debugger for GHC Haskell