Stars
Skip is a framework for building reactive services
A precise specification for "Rust lite / MIR plus"
FauxPilot - an open-source alternative to GitHub Copilot server
An experimental type-level Ruby interpreter for testing and understanding Ruby code
A security focused static analysis tool for Android and Java applications.
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
Catch common Java mistakes as compile-time errors
An incremental parsing system for programming tools
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
World's smallest responsive 🔥 css framework (395 bytes)
A static analyzer for Java, C, C++, and Objective-C
Client and server-side state management library
A tool to help eliminate NullPointerExceptions (NPEs) in your Java code with low build-time overhead
Scala 2 compiler and standard library. Scala 2 bugs at https://github.com/scala/bug; Scala 3 at https://github.com/scala/scala3
Gradle plugin for integrating Java annotation processors
A Java compiler plugin to prevent invalid thread accesses when writing GUIs.