blazing fast implicit surface evaluation

Make Project Oberon Pretty Again

A Tiling Window Manager for windows 10, Inspired by i3wm

CoreCLR is the runtime for .NET Core. It includes the garbage collector, JIT compiler, primitive data types and low-level classes.

This is a document to help with .NET memory analysis and diagnostics.

A fast, powerful, CommonMark compliant, extensible Markdown processor for .NET

A toolkit for developing high-performance HTTP reverse proxy applications.

Github Pages hosted version of Derivative Clicker

A collection of accessible, free, open-source web components for building Brightspace applications.

Bazel rules for generating CODEOWNERS from a workspace.

Stardoc: Starlark Documentation Generator

Bazel rules for C#

Annotations and analysis tools for D2L C# code style

Just an ordinary calculator. Nothing to see here...

Thelio Desktop by System76

Azure Cosmos TLA+ specifications

Learn Darklight is a browser extension that offers multiple themes for Waterloo Learn.

Generic purpose Just-In-time compiler for Rust.

High-performance browser-grade HTML5 parser

Servo aims to empower developers with a lightweight, high-performance alternative for embedding web technologies in applications.

RFCs for changes to Rust

🥑 Language focused docker images, minus the operating system.

a fast, scalable, multi-language and extensible build system

declarative DSL for Debian APT

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…

book-publishing system [mirror of main repo at https://gitlab.com/mbutterick/pollen]

Named operators for C++

GNU Typist lessons with the "two spaces after a sentence" garbage removed. You're welcome.