Stars
An analysis tool for Python that blurs the line between testing and type systems.
Seamless bug-finding for C, C++, Go, Rust, Wasm and Zig
Open-lmake is a generic, fearless build system. It is like make, except that it is user-friendly, versatile, scalable and reliable.
Compilation profiling tool for Scala 2 projects
A Simple showcase for the Sea-of-Nodes compiler IR
General technology for enabling AI capabilities w/ LLMs and MLLMs
The new Windows Terminal and the original Windows console host, all in the same place!
A simple, fast and user-friendly alternative to 'find'
A Git-compatible VCS that is both simple and powerful
An open source multi-tool for exploring and publishing data
Structured Editing and Navigation in Emacs with Tree-Sitter
A markup-based typesetting system that is powerful and easy to learn.
A better build tool for Java, Scala and Kotlin: Simpler than Maven, easier than Gradle, with 3-7x faster dev workflows than other JVM build tools
Diagram as Code Tool Written in Rust with Draggable Editing
🙃 A delightful community-driven (with 2,400+ contributors) framework for managing your zsh configuration. Includes 300+ optional plugins (rails, git, macOS, hub, docker, homebrew, node, php, python…
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
This is the public repository for the CFR Java decompiler
Java Debugger for Visual Studio Code.
A C-like hardware description language (HDL) adding high level synthesis(HLS)-like automatic pipelining as a language construct/compiler feature.
An alignment auditing agent capable of quickly exploring alignment hypothesis
🤖 A bot that helps you keep your projects up-to-date
A Java implementation of the language server protocol intended to be consumed by tools and language servers implemented in Java.
A controlled concurrency testing framework for the JVM