The fastest path to AI-powered full stack observability, even for lean teams.

Disque is a distributed message broker

Wrangling Untrusted File Formats Safely

open-source IEEE 802.11 WiFi baseband FPGA (chip) design: driver, software

Read-only mirror of official repo on openldap.org. Issues and pull requests here are ignored. Use OpenLDAP ITS for issues.

CoreFreq : CPU monitoring and tuning software designed for the 64-bit processors.

A language and an embedded JIT compiler

The final version of the AI designed keyboard layout

A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.

Fastest Integer Compression

BNF wrangling and railroad diagrams

An Embedded Implementation of Redis

Compiler for the Mirth programming language.

Sparser: Raw Filtering for Faster Analytics over Raw Data

An Operating Function

A Compiler for the Popr Language

Stable In-place sorting in O(n*log(n)) worst time

Lasca is Scala shifted towards Haskell.

A domain-specific-language and compiler for low-level bitstream processing.

Crypto library

The LTSmin model checking toolset

Charity Programming Language

Parallel Environment for optimal Lambda Calculus Reduction

PFL/CSP for C

Experimental JVM profiler for analyzing real-world memory allocations

This is a simple stack virtual machine to be a translation target for toy languages.

Benchmarks of loop fission algorithm.

Idris wrapper for libpq