Brendan Zabarauskas

A garden of small programming language implementations 🪴

🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧

🥞 (Please don’t repost, this is still a WIP) A friendly little systems language with first-class types.

Beautiful diagnostic reporting for text-based programming languages.

Approximate floating point equality comparisons and assertions

Normalization by evaluation for Martin-Löf Type Theory with dependent records

Automagical variable binding library for Rust

An overly elaborate example of building a ‘Hello World’ package with Nix flakes, OCaml, and Dune

Abstract algebra for Rust (still very much a WIP!)

A library that provides types and conversions for working with various color formats.

An event sourced CQRS framework for Rust

Interactive holes for Lean 4

DEPRECATED

A minimal scripting and data language for Rust.

Bidirectional type checker for the simply typed lambda calculus

DEPRECATED - use https://github.com/netvl/rust-xml/ instead.

A little concatenative language

Bindings and wrapper for the Bullet physics C API.

Mercury language integration for VSCode

Experimenting with visitors in Rust

Parts of The Power of Pi, implemented in Idris

No description.

An experimental game engine written in D.

Messing around with propositional logic in Agda

Answers to the exercises in the Lean tutorial

A lightweight graphics device manager for Rust

A collection of dynamic D bindings to C libraries, useful for multimedia and game development.

Servo-specific wrapper for the relevant components of the Enlightenment Foundation Libraries.

IEEE 754-2008 floating point arithmetic for Rust (WIP)

Abstract algebra for Rust.

Demo OpenGL code from the Rust Bay Area meetup on Game Tech.

Indexed based half-edge mesh implementation

Scheme Interpreter in Rust

Rust bindings and wrapper for SDL2 (Incomplete!)

OpenGL ES 2.0 bindings for Rust

No description.

Turn opam-based OCaml projects into Nix derivations

A Language with Dependent Data and Codata Types

A composable build system for OCaml.

Various signed and unsigned integer types for OCaml

Dependently Typed Lambda Calculus in Haskell

Compiler for the Elm programming language. Elm aims to make web development more pleasant. Elm is a type inferred, functional reactive language that compiles to HTML, CSS, and JavaScript.

No description.

The Mercury logic programming system.

Formal message specification and generation of verifiable binary parsers and message generators

Foam workpace template

Examples of how to create colorful, annotated equations in Latex using Tikz.

Manage a user environment using Nix [maintainer=@rycee]

The Makam Metalanguage

No description.

Minimal implementations for dependent type checking and elaboration

Source code for the book Compiling to Assembly from Scratch https://keleshev.com/compiling-to-assembly-from-scratch-the-book

Based on paper by Greg Morrisett , TAL-0 is the design of a RISC-style typed assembly language which focuses on control-flow safety.

Rust bindings for ImGui

Purescript for Elm devs. 🚀

A guide for Mozilla's developers and data scientists to analyze and interpret the data gathered by the Firefox Telemetry system.

The core of Marp converter

Create book from markdown files. Like Gitbook but implemented in Rust

Pure Rust alternative to GLFW

Window handling library in pure Rust

Shape Grammars in Prolog

A website for the #proglangdesign community on freenode

binding generator for rust language

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

Linear algebra library for computer physics, computer graphics and data analysis for Rust.

Wadler-style pretty-printing combinators in Rust

Elm's core libraries

Assorted immutable collection datatypes for Rust

The Kotlin Programming Language Website

Combinators for manipulating locally-nameless generalized de Bruijn terms

An HTTP library for Rust

No description.

Next generation File System — with support for O(1) snapshots, error correction, encryption, caching, and more. — contains official implementation of SeaHash

A safe, extensible ORM and Query Builder for Rust

No description.

Examples of using gfx-rs

College assignment writing in which I ramble about type classes and dependent types.

No description.

LR(1) parser generator for Rust

A static, type inferred and embeddable language written in Rust.

A pure Rust alternative to libraries like FreeType.

A future & stream abstraction for Rust

Ruby and Rust, sitting in a tree

A simple arcball-style camera. Uses the cgmath-rs library

Safe OpenGL wrapper for the Rust language.

Generated OpenGL bindings and wrapper for Servo.

Text rendering with glium

Rayon: A data parallelism library for Rust

Traits for function operator overloading

A spring that solves your animation problems.

elm-platform bin-wrapper that makes it seamlessly available as a local dependency

A Idris Mode for Atom.io

A playground for teaching git

No description.

Elm bindings to HTML5 History API

Utility macros for gfx-rs

An OpenGL loader tailored to gfx-rs's needs.

Cocoa/Objective-C bindings for the Rust programming language

Rust bindings to the Core Foundation library on Mac OS X and iOS

WIP fork of the Rust Programming Language. See mozilla/rust for the main repository.

An XML parser in Rust

A library of mesh generation utilities.

The Servo Browser Engine

RFCs for changes to Rust

QuickCheck for Rust (with shrinking).

Geometry primitives (basic linear algebra) for Rust

Mirror of the khronos api svn repository

An elegant and simple framework for fun and quick game development.

A package to add support for the Rust programming language to Sublime Text 2

Idris syntax highlighting, interactive REPL and more things for emacs.

Raytracer written in rust.

Parser combinator library written using the Rust language