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

Sponsoring

@servo

Organizations

@yeslogic @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

55 repositories

πŸŒ€ Bootstrapping

48 repositories

πŸ—οΈ Build systems

11 repositories

πŸ“ Compilation

29 repositories

🎨 Creative Tools

36 repositories

πŸ—„ Data Layout

3 repositories

Starred repositories

522 results for sponsorable starred repositories
Clear filter

Various experimentations at the edge of OCaml's type system

OCaml 6 Updated Aug 23, 2025

πŸ–Œ Soothing pastel userstyles

Less 870 218 Updated Sep 5, 2025

A simple scheduler for OCaml 5

OCaml 119 9 Updated Sep 3, 2025

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

TypeScript 161 6 Updated Aug 29, 2025

Ghengin: A vulkan-based, shader-centric, type-heavy, Haskell game engine

Haskell 71 Updated Jul 31, 2025

Lumina is an eager-by-default natively compiled functional programming language with the core goals of readibility, practicality, compiler-driven development and simplicity.

Rust 105 3 Updated Aug 4, 2025

Box combinators. A Python port of https://mmapped.blog/posts/41-box-combinators

Python 5 Updated Jun 26, 2025

A Cedille 2 implementation

Haskell 5 Updated Aug 30, 2025

A functional programming language for procedural art

Rust 69 2 Updated Jul 7, 2025
Python 7 2 Updated Jun 12, 2024

An open source graphics editor for 2025: comprehensive 2D content creation tool suite for graphic design, digital art, and interactive real-time motion graphics β€” featuring node-based procedural ed…

Rust 21,010 885 Updated Sep 5, 2025

A Personal Software Runtime inspired by Emacs, Plan 9, Erlang, Hypermedia, and Unix

Rust 375 5 Updated Aug 15, 2025

Jsoo bindings using brr for code-mirror 6

OCaml 6 6 Updated Jun 3, 2025
Python 46 7 Updated May 30, 2025

OCaml implementation of DSub, a ML like language with subtyping and path dependent types.

OCaml 13 Updated Apr 18, 2017

A light theme for Visual Studio Code

Clojure 451 21 Updated Sep 4, 2025

CSL citation processing library in Haskell

Haskell 172 21 Updated Sep 3, 2025

A Node.js style checker and lint tool for Markdown/CommonMark files.

JavaScript 5,401 802 Updated Sep 5, 2025

Pure-Rust rewrite of the Linux fontconfig library (no system dependencies) - using ttf-parser and allsorts

Rust 77 12 Updated Aug 4, 2025

πŸ—Ί An unofficial collection of "design patterns" for ReScript, Reason, and OCaml

Reason 570 22 Updated Jan 2, 2023

A collection of small utilities for working with pointer types in Rust.

Rust 127 13 Updated Jan 17, 2025

🌱 a fast, batteries-included static-site generator that transforms Markdown content into fully functional websites

TypeScript 9,944 3,103 Updated Aug 26, 2025

Nix Flake Input Versioning

Rust 78 4 Updated May 23, 2025

High performance UI layout library in C.

C 15,313 583 Updated Aug 28, 2025
Nix 24 Updated Feb 4, 2025

A fast entity component system (ECS) for C & C++

C 7,462 543 Updated Sep 4, 2025

Par (β…‹) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.

Rust 450 21 Updated Sep 4, 2025

Simple, in-memory, monomorphic and heterogeneous search indexes in OCaml

OCaml 25 1 Updated Jan 11, 2023

A functional programming language and declarative system for describing 2D and 3D visuals

Python 66 2 Updated Jul 16, 2025
Next