Generating README.llm for a source repo

An AI-powered task-management system you can drop into Cursor, Lovable, Windsurf, Roo, and others.

[DEPRECATED] Kubernetes operator for managing the lifecycle of Apache Flink and Beam applications.

Application Kernel for Containers

Dr. TLA+ series - learn an algorithm and protocol, study a specification

Adding a table of contents to Specifying Systems, TLA+.pdf

A Java API for generating .java source files.

Library for creating tagged constructors.

EA Async implements async-await methods in the JVM.

Lazy sequences implementation for Java 8

Home of the cyclops integration modules : support for Scala, Clojure, RxJava (1+2), Reactor, FunctionalJava, Guava, Dexx & Vavr

Lazy Object Streaming Pipeline for JavaScript

Napa.js: a multi-threaded JavaScript runtime

Source transformer enabling ECMAScript 6 generator functions in JavaScript-of-today.

CSP channels for Javascript (like Clojurescript's core.async, or Go)

Simple, scalable, distributed mutex for serializing computations anywhere on the Internet (with Go and shell clients)

A JVM written in Scala

Functional patterns for Java

A programming language that runs in Haskell's type system.

Some code to demonstrate how proxy based frameworks like Mockito work.

Distributed transactional key-value database, originally created to complement TiDB

Bootstrap Kubernetes the hard way. No scripts.

Apache Tephra: Transactions for HBase.

machine learning and deep learning tutorials, articles and other resources

Google's Python IP address manipulation library

Google drive for jupyter notebooks

The reference implementation of the Linux FUSE (Filesystem in Userspace) interface

A static type analyzer for Python code

The Go programming language

Processing Logs at Scale using Cloud Dataflow