brendanzab

chronicle

An event sourced CQRS framework for Rust

idris-power-of-pi

Parts of The Power of Pi, implemented in Idris

lean_tutorial_exercises

Answers to the exercises in the Lean tutorial

hedge

Indexed based half-edge mesh implementation

lambdapi-haskell

Dependently Typed Lambda Calculus in Haskell

agda-logic-playground

Messing around with propositional logic in Agda

alga

Abstract algebra for Rust.

arcball-cgmath

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

bound

Combinators for manipulating locally-nameless generalized de Bruijn terms

diesel

A safe, extensible ORM and Query Builder for Rust

distributed_systems_bibliography

ecs_bench

elm-to-purescript-cheatsheet

Purescript for Elm devs. 🚀

eventual

A future & stream abstraction for Rust

gluon

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

glutin

Pure Rust alternative to GLFW

helix

Ruby and Rust, sitting in a tree

hyper

An HTTP library for Rust

im-rs

Assorted immutable collection datatypes for Rust

imgui-rs

Rust bindings for ImGui

kotlin-web-site

The Kotlin Programming Language Website

lalrpop

LR(1) parser generator for Rust

nalgebra

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

pny1-assignment

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

pretty.rs

Wadler-style pretty-printing combinators in Rust

rusttype

A pure Rust alternative to libraries like FreeType.

TAL0

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

tfs

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

try_gluon

winit

Window handling library in pure Rust