Run Kubernetes with a million nodes

Writing a sqlite clone from scratch in C

Bare Metal Modular Database

Perforator is a cluster-wide continuous profiling tool designed for large data centers

An open-source RAG-based tool for chatting with your documents.

Runtime assertion checking based on Gospel specifications

A tiny JVM written in Rust. Learning project

A distributed key value store in under 1000 lines. Used in production at comma.ai

You like pytorch? You like micrograd? You love tinygrad! ❤️

Unified Resource Scheduler to co-schedule mixed types of workloads such as batch, stateless and stateful jobs in a single cluster for better resource utilization.

The missing MatPlotLib for Scala + Spark

Go Taint CHeck Analyser

The Go programming language

A tool to help eliminate NullPointerExceptions (NPEs) in your Java code with low build-time overhead

macOS development environment setup: Easy-to-understand instructions with automated setup scripts for developer tools like Vim, Sublime Text, Bash, iTerm, Python data analysis, Spark, Hadoop MapRed…

Hawtio web console helps you manage your JVM stuff and stay cool!

A Scala implementation of MiniSAT

Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme programming language

(Abstract) Abstract Machine Experiments using Scala

Toradocu - automated generation of test oracles from Javadoc documentation

A bibliography of papers related to symbolic execution

Implementation of JavaScript Analysis that uses Type-Refinement concepts from our DLS 2013 paper.

A type-safe dialect of TypeScript

Goal-directed static analysis tool for JVM languages.

A Proof-oriented Programming Language

Source code for the CodeContracts tools for .NET

🎓 Path to a free self-taught education in Computer Science!

Survey of program analysis research with a focus on machine code

A Dependently Typed Functional Programming Language

Lua type analysis and corresponding QuickCheck code