croyzor

agda-brainfuck

alarm

ALARM: the new SOS memory allocation library

bcg

a bingo card generator

Carp

A statically typed lisp, without a GC, for real-time applications.

caWeb

Continous automata via a web server

CfE-Simulations

Simulations for the Curriculum for Excellence higher physics course

cm4

Fish

prussia-docker

A Dockerfile for building rust code for the PS2 using prussia

rust-experiments

learnin' some rust

very-circle

the makings of a simple action game

cursivecat

an ncurses viewer for curiouscat pages

dotfiles

A small collection of dotfiles for sxhkd, vim and such

gameboy

Full featured Cross-platform GameBoy emulator by Rust. Forever boys!.

hugr-llvm

humblr

Haskell wrapper for the Tumblr API

Idris_dsp_motivation

mlir-standalone-template

An out-of-tree MLIR dialect template.

not-perl

A programming language that isn't Perl.

pcsx-redux

The PCSX-Redux project is a collection of tools, research, hardware design, and libraries aiming at development and reverse engineering on the PlayStation 1. The core product itself, PCSX-Redux, is yet another fork of the Playstation emulator, PCSX.

PoP

being code and blether about presheaves on purpose

ProgrammerCommaCon

being a collection of Agda-facilitated ramblings

psx-sdk-rs

Rust SDK targeting the original Playstation

rust-wfc

A re-implementation of WaveFunctionCollapse in Rust

sl-rust

sl(1). In Rust.

so-pigworker

being the scrapings of my stackoverflow answers

susume

tasty-silver

A fancy test runner for tasty and support for golden tests.

Vauxhall

A small in-terminal dungeon crawler written in Haskell

wavelert

💾 Windows 98 style javascript prompts

ysh

A cross platform shell for the modern age