CMSC498V Student Projects (Fall 2017)

• Sudoku Solver by Taeyoon Kim & Michael Anderjaska

Implemention of a sudoku solver in Haskell, check it out: github@taekim97/Haskell-Sudoku-Solver

• 2048 by Ashwin Jeyaseelan & Sang-Kyun Han

Implementation of the 2048 game in Haskell, check it out: github@8Gitbrix/2048Haskell

• Wires Game by Davis Silveman & Kristian Osborne

This is a simplistic spiderman-physics game based off of Double Wires. That game is definitely better, so probably play that instead. Check it out: github@sinistersnare/wires

• Connect4 by Andres Anhalzer & Jaime Azcorra

Connect4 implementation in Haskell, check it out: github@aanhalzer/Connect4

• Haskify by Colin Burr & John Kastner

Haskify is a (currently) GETful API wrapper for the Spotify API written in Haskell. Check it out: github@sw3dish/haskify

• Liquid Haskell Proofs by Will Kunkel & Patrick Owen

Formally prove the theorems outlined in the “Reasoning about Programs” chapter of the book “Programming in Haskell” using Liquid Haskell. Check it out: github@wkunkel/liquidhaskell-proofs

• Black Jack by Filip Laestadius & PJ Wise

Blackjack w/ gui and potentially more AI players. Check it out: github@FilipLae/ProjectBlackjack

• Chess by Braeden Mollot & Lay Desai

Chess implemented as a Haskell program. Check it out: github@bmollot/haskell-chess

• Lambda Calculus by Kyle DeLancey

Ιmplementation of a parser, type-checker, and interpreter for lambda calculus. Check it out: github@kdelancey/lambda-calculus-kyle

• HaskFlash by Alexander Zhang & Jesse Rillion Ledesma

HaskFlash is a web app flashcard written in Haskell. Users can input sets of word pairs into the system and quiz themselves with random pairs. Check it out: github@alzhang/HaskFlash

• Checkers by Spencer Chen & Simon Schlegel

Implemention of the checkers game between human player and AI bot. Check it out: github@spchen/haskell-checkers

• Mancala by Vlad Rachev & Marc Eastman

Implementation of 2 player game using Haskell and Javascript. Check it out: github@vrachev/mancalahaskell

• Neural Convnets by Kevin Chen & Suteerth Vishnu

Demonstrate that Haskell’s powerful abstractions allow for the implementation of sophisticated network architectures which would be difficult to do with standard approaches (i.e Tensorflow/Pytorch). Check it out: github@kevchn/neural-convnets

• Id3 by Ryan Kiernan & Nick Condron

Check it out: github@rkiernan/haskell-id3

• Super Gomoku by Pedro Carvalho & Mikey Saugstad

GUI for the Super Gomoku. Try the game here. Check it out: github@payros/super-gomoku

• Lambda Chat by Sashank Thupukari & Joshua Lee

A chat messaging service implemented in Haskell (Yesod) and React. HM is an implementation of a messaging service implemented using the Yesod Web Framework for Haskell and React. Check it out: github@helloworld/lambda-chat/

• Proposition Prover by Robert Fleischman & Steven Tvardzik

Implementation of proposition solver in Haskell. For example suppose the assumptions are, {if A then B, if B then C, A} and the goal is C, the solver might output {if A then C: by hypothetical syllogism, C: by modus ponens} thus proving C from the initial assumptions. Check it out: github@saturnerianis/Haskell_Proposition_Prover

• Comms by Andrew Putlock & Brian Oluwo

Decentralized email on Ethereum. Comms implements a minimally spec compliant version of both SMTP and POP3 w/ Ethereum as the database of sorts. Check it out: github@aputlock/comms

• Rubiks Cube by Jonathan Chan & Vivian Yung

Creation of a Rubik’s cube solver in Haskell using native libraries. Check it out: github@jjchan1/RubiksCubeSolver