Visualize Ownership and Lifetimes in Rust

Durable workflow automation in just a few lines of code

A Modern C11 compiler (STILL EARLY)

This is a highly optimized blake3 implementation for scala, scala-js and scala-native

The Boehm-Demers-Weiser conservative C/C++ Garbage Collector (bdwgc, also known as bdw-gc, boehm-gc, libgc)

Determine mesh rotations to minimise overhangs for 3D printing ♻️

Wrangling Untrusted File Formats Safely

An actor library for Cats Effect

Simple (almost drop-in) replacement for zip that produces deterministic files.

Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, nondeterministic behavior, into deterministic, repeatable beh…

Header-only library for asynchronous tasks in C

Scala.js type-safe bindings for Node.js v10, v12 & v14

The CafeSat SMT solver for Scala

Custom jacocorunner for bazel and java toolchains

A purely functional web UI library for Scala.js

A blazingly fast multi-language serialization framework powered by JIT and zero-copy.

an experimental Scala extension of Jar Jar Links

Verify that all reachable code links and will not fail at runtime with a linkage error

Easy flamegraphs for Rust projects and everything else, without Perl or pipes <3

Build GraalVM native binaries with Bazel

The Princess Theorem Prover

Log what files are accessed by any Linux process

Beautiful Text-based User Interfaces for Scala

JeroMQ is a pure Java implementation of the ZeroMQ messaging library, offering high-performance asynchronous messaging for distributed or concurrent applications.

Filesystem in Userspace (FUSE) for Rust

Tooling for rules_minidock

A set of minimal rules for doing oci container registry interactions

OptaPlanner quick starts for AI optimization: many use cases shown in many different technologies.