Property based testing framework for JavaScript (like QuickCheck) written in TypeScript

Bazel rules for https://esbuild.github.io/ JS bundler

A Rust implementation of the Starlark language

A virtual file system for sandboxing

validate the structure of your container images

High-performance Bazel rules for running Node.js tools and building JavaScript projects

TLA+ language support for Visual Studio Code

Vim plugin for TLA+ and PlusCal

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

This repo contains sample data models to demonstrate design patterns for Amazon DynamoDB.

A Vim plugin to copy text through SSH with OSC52

Robust and Fast tokenizations alignment library for Rust and Python https://tamuhey.github.io/tokenizations/

Idempotent schema management for MySQL, PostgreSQL, SQLite, and SQL Server

Rust rules for Bazel

Generate Bazel BUILD from Cargo dependencies!

Bazel remote caching and execution service

Idiomatic inotify wrapper for the Rust programming language

Prometheus instrumentation library for Rust applications

RSS-proxy allows you to do create an RSS or ATOM feed of almost any website, just by analyzing just the static HTML structure.

Common useful functions and rules for Bazel

A test-driven approach to assessing JS skills

Rust-based platform for the Web

Intersection Observer

Rules for building and handling Docker images with Bazel

Connect, secure, control, and observe services.

Easy and Repeatable Kubernetes Development

Anki is a smart spaced repetition flashcard program

🥑 Language focused docker images, minus the operating system.