joonazan

nina-fast-bluetooth

Bluetooth on the ESP32 coprocessor of your Arduino MKR Wifi 1010!

alternator

coproduct

generic coproduct types for Rust with minimal overhead

maximizer

The maximization step from Round Elimination

krangle-viewer

View the krangled Path of Exile skill tree

nixos-config

amethyst

Data-oriented and data-driven game engine written in Rust

aoc2023

My solutions to Advent of Code 2023

aper

Synchronized state machines for Rust over WebSockets.

bevy_snake

Clone of the snake game, with Bevy

BM1422AGMV-ZE2

code for using a magnetometer

cpal

Cross-platform audio I/O library in pure Rust

effing-mad

Algebraic effects for Rust

era-sync_vm

Circuit Implementation of zkVM for zkSync Era

frunk

Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.

gBar

Blazingly fast status bar written with GTK

lcl-viz

Visualizing Locally Verifiable Labeling problems

LifeEngine

The Life Engine

line-combination-proofs

magic-evolution

Evolving MTG decks

nixpkgs

Nix Packages collection

omorfi

Open morphology for Finnish

raytracing

Handcoded raytracing mostly based on the PBRT book

rms-support-letter.github.io

An open letter in support of Richard Matthew Stallman being reinstated by the Free Software Foundation

roll4

Tool to help with playing Nibiru remotely

ron

Rusty Object Notation

rust

Empowering everyone to build reliable and efficient software.

sat-re

Round elimination with SAT-solvers

tomato-faces

Corrupting images with stylegan2-ada

yew

Rust / Wasm framework for building client web apps