Giters
Nathaniel Carroll (potato4444)

potato4444

Geek Repo

0

followers

0

following

18

stars

Github PK Tool:Github PK Tool

Nathaniel Carroll's repositories

brainfuck

brainfuck interpreter with arbitrary cell size.

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

brainfs

brainfuck collection of various derivatives

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

cantor-pairing

Convert data to and from a natural number representation

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

cubical

Language:AgdaStargazers:0Issues:0Issues:0

dirty

Language:CleanLicense:MITStargazers:0Issues:0Issues:0

HoTT

Homotopy type theory

Language:CoqLicense:NOASSERTIONStargazers:0Issues:0Issues:0

plfa.github.io

Introduction to programming language theory in Agda.

Language:AgdaStargazers:0Issues:0Issues:0

RosetTIO.github.io

Rosetta code-golf for languages on http://tio.run

Stargazers:0Issues:0Issues:0

RunicEnchantments

2D language of magic

Language:C#Stargazers:0Issues:0Issues:0