CodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security

.NET is a cross-platform runtime for cloud, mobile, desktop, and IoT apps.

Cranelift based backend for rustc

Open source comprehensive 2D content creation tool suite for graphic design, digital art, and interactive real-time motion graphics — featuring node-based procedural editing

GBIF API

A retargetable MLIR-based machine learning compiler and runtime toolkit.

A refreshingly simple data-driven game engine built in Rust

The Roslyn .NET compiler provides C# and Visual Basic languages with rich code analysis APIs.

Haskell implemented with combinators

ASL libraries will be migrated here in the stlab namespace, new libraries will be created here.

New JavaScript engine written in Rust

💤 A simple graphical visualisation of my sleep data over time from Pillow iOS.

The Z3 Theorem Prover

A categorized list of C++ resources.

🌸 A command-line fuzzy finder

Interactive data visualizations and plotting in Julia

Desktop application for Aider AI assistant and much more

Spike, a RISC-V ISA Simulator

Karabiner-Elements is a powerful tool for customizing keyboards on macOS

A GPU compute-centric 2D renderer.

A fast, friendly, functional language.

Manage your dotfiles across multiple diverse machines, securely.

🪄 Interactive Diagrams for Code

A markup-based typesetting system that is powerful and easy to learn.

Standard ML of New Jersey

A modern Prolog implementation written mostly in Rust.

Flow-Like: Strongly Typed Enterprise Scale Workflows. Built for scalability, speed, seamless AI integration and rich customization.

An experimental mdbook backend for creating EPUB documents.

Sourcetrail - free and open-source interactive source explorer

A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.