Skip to content
View brendanzab's full-sized avatar
πŸ˜΅β€πŸ’«
writing elaborators
πŸ˜΅β€πŸ’«
writing elaborators

Sponsoring

@servo

Organizations

@yeslogic @rust-lang @PistonDevelopers @gluon-lang @proglangdesign @pikelet-lang

Block or report brendanzab

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

πŸ“½ Animation

5 repositories

πŸ–ΌοΈ Art

3 repositories

πŸ“œ Binary Formats

54 repositories

πŸŒ€ Bootstrapping

48 repositories

πŸ—οΈ Build systems

11 repositories

πŸ“ Compilation

29 repositories

🎨 Creative Tools

36 repositories

πŸ—„ Data Layout

3 repositories

Starred repositories

Showing results

3D and 2D game engine written in Rust

Rust 8,442 394 Updated Aug 23, 2025

The Flix Programming Language

Scala 2,447 172 Updated Aug 23, 2025

Slint is an open-source declarative GUI toolkit to build native user interfaces for Rust, C++, JavaScript, or Python apps.

Rust 20,094 720 Updated Aug 23, 2025

An umbrella of radically different directions that we can interface with the web.

TypeScript 158 6 Updated Aug 23, 2025

Nix Packages collection & NixOS

Nix 21,567 16,553 Updated Aug 23, 2025

The math library of Lean 4

Lean 2,290 745 Updated Aug 23, 2025

Lean documentation authoring tool

JavaScript 209 96 Updated Aug 23, 2025

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

HTML 31,331 3,233 Updated Aug 23, 2025

Emscripten: An LLVM-to-WebAssembly Compiler

C++ 26,747 3,412 Updated Aug 23, 2025

Empowering everyone to build reliable and efficient software.

Rust 105,967 13,674 Updated Aug 23, 2025

SPARQL graph database

Rust 1,296 87 Updated Aug 23, 2025

Build production-ready applications in TypeScript

TypeScript 11,025 381 Updated Aug 23, 2025

:octocat: Browser extension that simplifies the GitHub interface and adds useful features

TypeScript 29,019 1,601 Updated Aug 23, 2025

Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness,…

Nim 17,280 1,496 Updated Aug 23, 2025

Enso Analytics is a self-service data prep and analysis platform designed for data teams.

Java 7,433 333 Updated Aug 23, 2025

Extensible SQL Lexer and Parser for Rust

Rust 3,166 632 Updated Aug 23, 2025

CakeML: A Verified Implementation of ML

Standard ML 1,070 90 Updated Aug 23, 2025

A Rust compiler front-end for IDEs

Rust 15,395 1,821 Updated Aug 23, 2025

Efficient and versatile WebAssembly interpreter for embedded systems.

Rust 1,827 314 Updated Aug 23, 2025

A toy compiler for a subset of the C programming language.

Rust 6 Updated Aug 23, 2025

ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.

ReScript 7,157 471 Updated Aug 23, 2025

Nix, the purely functional package manager

C++ 14,959 1,703 Updated Aug 23, 2025

Scroll - making scrolling through buffers fun since 2016

Rust 175 39 Updated Aug 23, 2025

Rust toolchains and rust-analyzer nightly for Nix [maintainers=@figsoda, @winterqt, @zmitchell]

Nix 872 57 Updated Aug 23, 2025
Shell 200 30 Updated Aug 23, 2025

Grist is the evolution of spreadsheets.

TypeScript 8,907 430 Updated Aug 23, 2025

Adds static typing to JavaScript to improve developer productivity and code quality.

OCaml 22,184 1,882 Updated Aug 23, 2025

High performance, concurrent functional programming abstractions

Haskell 903 69 Updated Aug 23, 2025

The Feldera Incremental Computation Engine

Rust 1,533 74 Updated Aug 23, 2025

Visual Studio Code

TypeScript 175,999 34,540 Updated Aug 23, 2025
Next