Nolrai

followers

following

stars

Nolrai's repositories

AndroidDrake

editor for visual programing

Language:Kotlin010

bindings

Language:Lean010

cheap

Language:Lean000

chris-ant

Language:HaskellISC000

chrisfft

Language:HaskellISC010

christina-compost

Language:Lean000

christina_scratch2

Language:Lean000

Cursed

evil

010

DigitalMirror

Messing around with reversable computation

MIT000

FFT

Language:Lean010

frank

the frank reversable abstract machine

Language:HaskellMIT010

Haggerty

copilot scratch

Language:HaskellUnlicense010

Holly

2d Cellular Automata

Language:HaskellNOASSERTION010

Hyperbook

formalizing exersizes from "Lecturenotes on the Hyperreals"

Language:LeanBSD-3-Clause010

lambda

Language:LeanBSD-3-Clause010

LasersAndCrystals

2d game

Language:HaskellMIT010

lean-christina

scratchwork in lean

Language:LeanMIT000

Mamono

Language:HaskellMIT010

nolrai-scratch

scratch work

Language:HaskellMIT000

ordinal

Language:Lean010

pharoh

Language:Lean000

PHCam

Use a camera to read ph sensitive dye.

Language:C++MIT010

PrinterPenPro

an automatic 3d printer pen using a motor and gyroscope.

Language:BatchfileMIT000

STCA-Simulator

A tool for examining and simulating the effects of various reversible and irreversible Self-Timed Cellular Automata. Created in support of PhD thesis.

Language:JavaNOASSERTION010

TippyGods

TippyGods

Language:HaskellNOASSERTION010

wand

arduino scratch work

Language:C++Unlicense010

Wand2

learning repo for me on arduino

Language:C++010

wanderer

Language:HaskellMIT000

WildGeo

Language:Lean010

WindsOfMagic

A different take on weather for Mage Knight.

Language:LuaUnlicense010