Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

Typer, build great CLIs. Easy to code. Based on Python type hints.

Knowledge Extraction For Forms Accelerators & Examples

Lightweight Kubernetes

Bootstrap Kubernetes the hard way. No scripts.

🧩 Shape-Safe Symbolic Differentiation with Algebraic Data Types

A collection of work related to COVID-19

Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more

Animation engine for explanatory math videos

Library providing syntactic sugar for creating variant forms of a canonical function

Efficient reliable UDP unicast, UDP multicast, and IPC message transport

GRR Rapid Response: remote live forensics for incident response

A composable build system for OCaml.

🤗 Transformers: State-of-the-art Machine Learning for Pytorch, TensorFlow, and JAX.

Python version of Pact. Enables consumer driven contract testing, providing a mock service and DSL for the consumer project, and interaction playback and verification for the service provider project.

Source Code for 'Practical TLA+' by Hillel Wayne

Voilà turns Jupyter notebooks into standalone web applications

The Open Source Dictionary

A cloud-native Pipeline resource.

Python Serverless Microframework for AWS

Record and expose Shiny app logic using metaprogramming

👀Previewing✍️Coding GuiLite APP simultaneously

A collection of (mostly) technical things every software developer should know about

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

Parsing, analyzing, and comparing source code across many languages

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Auditing and relabeling cross-distribution Linux wheels.

x86-64 assembler embedded in Python

A simple template jit compiler for a subset of Python

HACL*, a formally verified cryptographic library written in F*