Javet is Java + V8 (JAVa + V + EighT). It is an awesome way of embedding Node.js and V8 in Java.

A blazing fast, Rust-based workspace manager for your temporary experiments.

Find code blocking your Tokio workers. eBPF-powered, no instrumentation.

Pass rust closures as regular function pointers

A native implementation of `__builtin___clear_cache` without dependency of GCC/Clang.

A multi-architecture JIT assembler library for Rust.

A debugger which can be used to debug programs that do not want to be debugged

shiroa is a simple tool for creating modern online books in pure typst.

The CSV magician

Lean theorem proving interface which feels like pen-and-paper proofs.

Sampling CPU profiler for Ruby

Record and Replay for WebAssembly

Fast, concurrent, arena-based allocator with drop support

Math496T University of Arizona Course: Computer Verification of Mathematical Proofs

Blazing fast runtime for math workloads. Execute MATLAB/Octave code with cross-OS (Mac, Windows, Linux) and cross-GPU (NVIDIA CUDA, Apple Silicon, ARM) support.

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

An ergonomic, featureful, and easy-to-integrate implementation of the GDB Remote Serial Protocol in Rust (with no-compromises #![no_std] support)

☄🌌️ The minimal, blazing-fast, and infinitely customizable prompt for any shell!

Community Cryptography Specification Project

Self-hosted task management that combines the simplicity of personal with the power of professional project organization. Built for individuals and teams who value privacy, control, and efficiency.

Amper - a build tool for the Kotlin and Java languages, with a focus on user experience and tooling

JITWatch4i is an IntelliJ IDEA plugin for analyzing and visualizing logs from the HotSpot JIT (Just-In-Time) compiler

Submit stacked diffs to GitHub on the command line

Fast floating point to string conversion

Lossless functionality for platform-native strings.

Ephemeral filesystem isolation via Linux overlayfs (experimental)

Perkeep (née Camlistore) is your personal storage system for life: a way of storing, syncing, sharing, modelling and backing up content.

Generic and convenient `std` atomics via `Atomic<T>`