Pinned Repositories
agda-brainfuck
alarm
ALARM: the new SOS memory allocation library
aoc24
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
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
croyzor's Repositories
croyzor/agda-brainfuck
croyzor/alarm
ALARM: the new SOS memory allocation library
croyzor/bcg
a bingo card generator
croyzor/Carp
A statically typed lisp, without a GC, for real-time applications.
croyzor/caWeb
Continous automata via a web server
croyzor/CfE-Simulations
Simulations for the Curriculum for Excellence higher physics course
croyzor/cm4
Fish
croyzor/prussia-docker
A Dockerfile for building rust code for the PS2 using prussia
croyzor/rust-experiments
learnin' some rust
croyzor/very-circle
the makings of a simple action game
croyzor/cursivecat
an ncurses viewer for curiouscat pages
croyzor/dotfiles
A small collection of dotfiles for sxhkd, vim and such
croyzor/gameboy
Full featured Cross-platform GameBoy emulator by Rust. Forever boys!.
croyzor/hugr-llvm
croyzor/humblr
Haskell wrapper for the Tumblr API
croyzor/Idris_dsp_motivation
croyzor/mlir-standalone-template
An out-of-tree MLIR dialect template.
croyzor/not-perl
A programming language that isn't Perl.
croyzor/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.
croyzor/PoP
being code and blether about presheaves on purpose
croyzor/ProgrammerCommaCon
being a collection of Agda-facilitated ramblings
croyzor/psx-sdk-rs
Rust SDK targeting the original Playstation
croyzor/rust-wfc
A re-implementation of WaveFunctionCollapse in Rust
croyzor/sl-rust
sl(1). In Rust.
croyzor/so-pigworker
being the scrapings of my stackoverflow answers
croyzor/susume
croyzor/tasty-silver
A fancy test runner for tasty and support for golden tests.
croyzor/Vauxhall
A small in-terminal dungeon crawler written in Haskell
croyzor/wavelert
💾 Windows 98 style javascript prompts
croyzor/ysh
A cross platform shell for the modern age