Pinned Repositories
assignment-sentinel
csci446
fireplace
Hearthstone simulator
i2cdevlib
I2C device library collection for AVR/Arduino or other C++-based MCUs
Idris2
A purely functional programming language with first class types
Mortle
A simple platformer implemented in Typescript with HTML canvas.
saiph
S* AI Playing netHack
Triton
A Rail Shooter Game
Understander
a nlp program which uses link-grammar to derive meaning from sentences.
alebahn's Repositories
alebahn/Understander
a nlp program which uses link-grammar to derive meaning from sentences.
alebahn/saiph
S* AI Playing netHack
alebahn/Triton
A Rail Shooter Game
alebahn/assignment-sentinel
alebahn/csci446
alebahn/fireplace
Hearthstone simulator
alebahn/i2cdevlib
I2C device library collection for AVR/Arduino or other C++-based MCUs
alebahn/Idris2
A purely functional programming language with first class types
alebahn/Mortle
A simple platformer implemented in Typescript with HTML canvas.
alebahn/segway
controller for segway program
alebahn/MortleElm
Elm version of a ballistic platformer
alebahn/MortlePurescript
Purescript port of Mortle
alebahn/NetGuard
A simple way to block access to the internet per app
alebahn/PieTs
An attempt to create dependent types in Typescript. Using Pie as a reference.
alebahn/PyramidService
A simple web service to determine if a word is a pyramid word
alebahn/SchemeParser
A simple scheme interpreter
alebahn/sparrow
An attempt to make a strong, duck, inferred types in a compiled language
alebahn/TAPL-Idris
Implementing examples from Types and Programming languages in Idris
alebahn/TicTacToe
first complicated android app
alebahn/UniqueDistancing
Solver for Matt Parkers Math Puzzle, Unique Distancing
alebahn/USB_Host_Shield_2.0
Revision 2.0 of USB Host Library for Arduino.
alebahn/WishUponAGoal
A tool to track where to spend and what wishlist item to get first.
alebahn/ZendeskChallenge
Simple search app for Zendesk application