Java heap dump analysis skill

Fast Gemma 4 inference in pure Java

A Java library for building modern terminal user interfaces.

ocp (OpenCode Configuration Profiles) is a CLI to manage OpenCode config profiles stored in Git repositories.

A dependency free and extensible Java library for styling and beautifying terminal output

Example of how an Intellij Plugin could leverage a native image analysis report

Benchmarks, data and scripts for comparing Leyden with Graal Native Image

Compiler and tooling for the Myte programming language.

New JavaScript engine written in Rust

A collection of inspiring lists, manuals, cheatsheets, blogs, hacks, one-liners, cli/web tools and more.

JavaSMT - Unified Java API for SMT solvers.

Rabit code in C++.

A listing of compiler, language and runtime teams for people looking for jobs in this area

Tools and APIs to develop weavers for the LARA language (LARA Compiler, LARA Interpreter, Weaver Generator, etc...)

A new register allocator

Oracle Coherence Community Edition

State-of-the-art TTS model under 25MB 😻

A modern Java reverse engineering tool for the web.

A modular, extensible CPU emulator written in Java, featuring a custom-designed instruction set and memory architecture.

GPU-accelerated Llama3.java inference in pure Java using TornadoVM.

A grep-like tool which understands source code syntax and allows for manipulation in addition to search

The math library of Lean 4

Materials for the <Programming> 2025 tutorial Effekt: Lexical Effect Handlers in Action

The Hylo programming language

A language with lexical effect handlers and lightweight effect polymorphism

Seamless bug-finding for C, C++, Go, Rust, Wasm and Zig

Research programming language for concurrent ownership

A lightweight JIT compiler based on MIR (Medium Internal Representation) and C11 JIT compiler and interpreter based on MIR

Linux kernel source tree

My solution to the Prospero challenge