Junaid Ali Rasheed's repositories
simplex-method
Implementation of the two-phase simplex method in exact rational arithmetic.
QuoridorGame
Desktop client for playing Quoridor. Play locally, over a network or against the computer.
YesodDjangoComparison
Yesod vs Django: A Web Developers Comparison
Language:Ada000
aern2
A Haskell library for Approximating Exact Real Numbers (AERN) based on interval computation. (aern2 is a rewrite of aern.)
Language:Haskell000
Language:C#000
aston-animal-sanctuary
Adopt animals from the Aston Animal Sanctuary. Internet Applications And Techniques coursework
Language:PHPMIT000
Language:PythonGPL-3.0000
CaptureTheSkull
Unity 'Capture The Flag' style game
Language:C#GPL-3.0000
CS2150
Repo for CS2150 labs and coursework.
Language:Java000
Language:JavaScript000
Language:TeX000
Language:Java000
Language:Java000
Language:TeX000
Language:C#000
Language:Vim ScriptMIT000
keter
Web app deployment manager
Language:HaskellMIT000
learn
Sources for learn.adacore.com
Language:CSS000
locu-restaurants
Practicing using APIs
Language:PythonMIT000
multibootusb
Grub2 loopback multiboot pen drive to boot from ISO
000
Language:PythonGPL-3.0000
Language:HTML000
sine_verification_testing
Testing the performance of various provers at specifying and verifying sine approximations
Language:SMT000
Language:PythonGPL-3.0000
Language:HaskellGPL-3.0000