Query-Based Incremental Computation Engine

The Flix Programming Language

A programming language highly-inspired by Rust

A language with lexical effect handlers and lightweight effect polymorphism

A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraic effects, associated types, good diagnostics, etc.

The Flux programming language interpreter

A WIP little dependently-typed systems language

Rust Automated Theorem Proving library inspired by a text by John Harrison (WIP)

Adds derive macros for better bounds on generated Copy, Debug, etc. implementations

Empowering everyone to build reliable and efficient software.

A game/media framework written in C++20

A Compiler Writing Journey

A C++20 Vulkan Game Engine

One framework for creating powerful cross-platform games.

Code repo for video tutorial series teaching Vulkan and computer graphics