Craig Roy's repositories

Language:AgdaStargazers:0Issues:1Issues:0

alarm

ALARM: the new SOS memory allocation library

Language:RustLicense:Apache-2.0Stargazers:0Issues:1Issues:0

bcg

a bingo card generator

Language:HaskellStargazers:0Issues:1Issues:0

Carp

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

Language:HaskellLicense:Apache-2.0Stargazers:0Issues:1Issues:0

caWeb

Continous automata via a web server

Language:HaskellStargazers:0Issues:1Issues:0

CfE-Simulations

Simulations for the Curriculum for Excellence higher physics course

Stargazers:0Issues:1Issues:0

cm4

Fish

Language:ShellStargazers:0Issues:1Issues:0

prussia-docker

A Dockerfile for building rust code for the PS2 using prussia

Language:DockerfileStargazers:0Issues:1Issues:0

rust-experiments

learnin' some rust

Language:RustStargazers:0Issues:1Issues:0

very-circle

the makings of a simple action game

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

cursivecat

an ncurses viewer for curiouscat pages

Language:RustStargazers:0Issues:1Issues:1

dotfiles

A small collection of dotfiles for sxhkd, vim and such

Language:ShellStargazers:0Issues:1Issues:0

gameboy

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

Language:RustLicense:WTFPLStargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0

humblr

Haskell wrapper for the Tumblr API

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:1Issues:0
Language:IdrisLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

mlir-standalone-template

An out-of-tree MLIR dialect template.

Language:CMakeLicense:NOASSERTIONStargazers:0Issues:0Issues:0

not-perl

A programming language that isn't Perl.

Language:RustStargazers:0Issues:1Issues:0

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.

Language:C++License:GPL-2.0Stargazers:0Issues:0Issues:0

PoP

being code and blether about presheaves on purpose

Language:TeXStargazers:0Issues:0Issues:0

ProgrammerCommaCon

being a collection of Agda-facilitated ramblings

Language:AgdaStargazers:0Issues:0Issues:0

psx-sdk-rs

Rust SDK targeting the original Playstation

Language:RustLicense:MITStargazers:0Issues:0Issues:0

rust-wfc

A re-implementation of WaveFunctionCollapse in Rust

Language:RustStargazers:0Issues:1Issues:0

sl-rust

sl(1). In Rust.

Language:RustLicense:NOASSERTIONStargazers:0Issues:1Issues:0

so-pigworker

being the scrapings of my stackoverflow answers

Language:TeXStargazers:0Issues:0Issues:0
Stargazers:0Issues:1Issues:0

tasty-silver

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

Language:HaskellLicense:MITStargazers:0Issues:0Issues:0

Vauxhall

A small in-terminal dungeon crawler written in Haskell

Language:HaskellStargazers:0Issues:1Issues:0

wavelert

💾 Windows 98 style javascript prompts

Language:JavaScriptStargazers:0Issues:1Issues:0

ysh

A cross platform shell for the modern age

Language:RustLicense:Apache-2.0Stargazers:0Issues:1Issues:0