Pinned Repositories
Algorithm-W-Step-By-Step
Classic Algorithm W for type inference.
cloudatpsu
eCommerce-with-Watson
ecommerce application that recommends gifts based on tweets analysis.
ghc
Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haskell.org/trac/ghc), or sent to the mailing list (ghc-devs@haskell.org)
IterativeCompiler
SASL
A simple and educational compiler for the SASL programming language
WangsAlgorithm
A propositional theorem prover in Haskell, using Wang's Algorithm.
IterativeCompiler
FirasMoalla1's Repositories
FirasMoalla1/Algorithm-W-Step-By-Step
Classic Algorithm W for type inference.
FirasMoalla1/cloudatpsu
FirasMoalla1/eCommerce-with-Watson
ecommerce application that recommends gifts based on tweets analysis.
FirasMoalla1/ghc
Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haskell.org/trac/ghc), or sent to the mailing list (ghc-devs@haskell.org)
FirasMoalla1/IterativeCompiler
FirasMoalla1/SASL
A simple and educational compiler for the SASL programming language
FirasMoalla1/WangsAlgorithm
A propositional theorem prover in Haskell, using Wang's Algorithm.