Pinned Repositories
aern2
A Haskell library for Approximating Exact Real Numbers (AERN) based on interval computation. (aern2 is a rewrite of aern.)
exact-function-plotter
An exact-real function plotter in the browser
concrete-semantics
HaskellFromFirstPrinciples
LPPaver
An automated prover targeting problems that involve nonlinear real arithmetic.
PropaFP
Auto-active verification of floating-point programs.
QuoridorGame
Desktop client for playing Quoridor. Play locally, over a network or against the computer.
scpwiki-downloader
Downloads every existing SCP page from www.scp-wiki.net
simplex-method
Implementation of the two-phase simplex method in exact rational arithmetic.
YesodDjangoComparison
Yesod vs Django: A Web Developers Comparison
rasheedja's Repositories
rasheedja/PropaFP
Auto-active verification of floating-point programs.
rasheedja/simplex-method
Implementation of the two-phase simplex method in exact rational arithmetic.
rasheedja/LPPaver
An automated prover targeting problems that involve nonlinear real arithmetic.
rasheedja/concrete-semantics
rasheedja/HaskellFromFirstPrinciples
rasheedja/QuoridorGame
Desktop client for playing Quoridor. Play locally, over a network or against the computer.
rasheedja/YesodDjangoComparison
Yesod vs Django: A Web Developers Comparison
rasheedja/ada_manual_float_proof_bug
rasheedja/aern2
A Haskell library for Approximating Exact Real Numbers (AERN) based on interval computation. (aern2 is a rewrite of aern.)
rasheedja/aston-animal-sanctuary
Adopt animals from the Aston Animal Sanctuary. Internet Applications And Techniques coursework
rasheedja/battleship-python
rasheedja/CaptureTheSkull
Unity 'Capture The Flag' style game
rasheedja/CS3160_Coursework
rasheedja/CS3210_Coursework
rasheedja/CS3270_Labs
rasheedja/CS3340_Coursework
rasheedja/CS3440_Coursework
rasheedja/CS3450_Labs
rasheedja/doomemacs
An Emacs framework for the stubborn martian hacker
rasheedja/dotfiles
rasheedja/Github-Release-Action
Publish Github releases in an action
rasheedja/keter
Web app deployment manager
rasheedja/learn
Sources for learn.adacore.com
rasheedja/locu-restaurants
Practicing using APIs
rasheedja/multibootusb
Grub2 loopback multiboot pen drive to boot from ISO
rasheedja/PyRogue
rasheedja/rasheedja.github.io
rasheedja/sine_verification_testing
Testing the performance of various provers at specifying and verifying sine approximations
rasheedja/wire-django
rasheedja/wire-yesod