FirasMoalla1's repositories
Algorithm-W-Step-By-Step
Classic Algorithm W for type inference.
000
eCommerce-with-Watson
ecommerce application that recommends gifts based on tweets analysis.
Language:CSS000
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)
Language:HaskellNOASSERTION000
Language:Haskell000
SASL
A simple and educational compiler for the SASL programming language
Language:C000
WangsAlgorithm
A propositional theorem prover in Haskell, using Wang's Algorithm.
Language:HaskellMIT000