Starred repositories
Benchmarks for various different methods of persisting data
A C++ interface to formulate and solve linear, quadratic and second order cone problems.
A simplistic yet bold HUD for TF2 made to cut out a lot of clutter included that of the stock hud. It includes both a 6s and 16v16 scoreboard that can be toggled by changing to and from the minimal…
Master the command line, in one page
If you live in the terminal, kitty is made for you! Cross-platform, fast, feature-rich, GPU based.
This language client library provides language server protocol support for IntelliJ IDEA and other Jetbrains IDEs.
Fault tolerance and resilience patterns for the JVM
List of resources about programming practices for writing safety-critical software.
High Performance data structures and utility methods for Java
GoogleTest - Google Testing and Mocking Framework
JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastruc…
⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.
Low level access to native memory, JVM and OS.
Most commonly used git tips and tricks.
Catch common Java mistakes as compile-time errors
A modern I/O library for Android, Java, and Kotlin Multiplatform.
Concise, consistent, and legible badges in SVG and raster format
The new API for developers to continue developing Minecraft
High Performance Inter-Thread Messaging Library
The server & API implementation for the TridentSDK