tkaden4/MATH302

Stars
2
Language Idris
License
The Unlicense
Created almost 5 years ago
Updated almost 5 years ago

tkaden4/MATH302

tkaden4

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

WWU MATH 302 Proofs in Idris

pfmt

A command line utility and library for creating colorful text

ununknown

Typesafe data validation combinators for typescript/javascript.

humanality.net

A personality test website built on Netlify with Next.js using React and Semantic UI

squarest-countries

A simple GIS experiment to find the squarest countries.

tentacle

LAN device discovery

karat

A virtual computer for hobby development

lambdabot

A discord bot that runs user code.

alef

optic

A header-only argument parser for C

ricebot

A project to monitor the rice cooker in our house and message us when it finishes cooking

MTGGuildData

Website to display data from our 10-deck, 3-5 player MTG commander games.

lambda-calculus

An implementation of the lambda calculus in typescript, along with an interactive evaluator.

party

aleph-old

A programming language for systems development

asteroids

assoc

A smart file association manager and file opener

rfc

A man(1)-like viewer for rfc files

moth

A library for MOS 6502 code generation

haskellmc

haskellmc startup scripts

disrupt

Make your discord messages as annoying as possible

pomo

A command-line pomodoro tracker.

lithp

Minimal Lisp for studying purposes

communism-ai

babel-node-pp

An upgraded version of babel-node that uses .babelrc