Provision remote development environments via Terraform
The Agda standard library
LaTeX CV generator from a YAML/JSON input file
Nocalhost is Cloud Native Dev Environment
.NET Transactional Document DB and Event Store on PostgreSQL
Build concurrent, distributed, and resilient message-driven apps
Use your most capable model to audit your codebase
Deepsec is a security harness for finding vulnerabilities
Official code base for LeWorldModel: Stable End-to-End Joint-Embedding
950 line, minimal, extensible LLM inference engine built from scratch
Build a standard implementation of lightweight Virtual Machines (VMs)
cuda-oxide is an experimental Rust-to-CUDA compiler
Mental models, decision heuristics, expressing DNA
Open source collection of animated, interactive React components
A growing set of skills to polish interfaces built by agents
Your shiny new Java/Scala build tool
Quick automated code review of your changes
Build and deploy Go applications on Kubernetes
A tasty, self-hostable Git server for the command line
The Swagger/openAPI toolchain for .NET, ASP.NET Core and TypeScript
Automatic SQL injection and database takeover tool
Google Toolbox for Mac
Boilerplate for creating React component libraries
An implementation of Org mode without the dependency of Emacs
An open source Web UI component library