A Simple showcase for the Sea-of-Nodes compiler IR

Inline snapshot tests for Kotlin/Java

Fuzzer for Kotlin libraries

https://openjdk.org/projects/crac

Checkpoint/Restore tool

AI/LLM tool use (function calling) JSON Schema generator - a Kotlin multiplatform library

Java unlimited redefinition of classes at runtime.

An uber-fast parallelized Java classpath scanner and module scanner.

An awesome list of e-graph resources

Async multi-producer multi-consumer channel

https://openjdk.org/projects/tsan

A safe and fast multi-producer, multi-consumer channel.

Track data flowing through Java programs

A curated list of Monte Carlo tree search papers with implementations.

Tutorial on neural theorem proving

Kermit by Touchlab is a Kotlin Multiplatform centralized logging utility.

🐇 Fuzzing Rust code with American Fuzzy Lop

Analyse package dependency networks at the call graph level

A port of Java's ConcurrentHashMap to Rust

A cluster consistency platform

Generating structured data from arbitrary, unstructured input.

Repo for PLAN's verified code generation project

Automatically exported from code.google.com/p/relacy

Coyote is a library and tool for testing concurrent C# code and deterministically reproducing bugs.

A concurency testing tool

Visualize/analyze a Rust crate's internal structure

Concurrency permutation testing tool for Rust.

Qodo-Cover: An AI-Powered Tool for Automated Test Generation and Code Coverage Enhancement! 💻🤖🧪🐞

Add asynchronous RPC services to your multiplatform applications.