Similar repositories to sydow/ireal:

• sydow/ireal github similar
• gibiansky/IHaskell github similar
• patrikja/progolymp github similar
• emwap/dotvim github similar
• DSLsofMath/BScProj2016 github similar
• GRACeFUL-project/DSL-WP github similar
• patrikja/PAD github similar
• DSLsofMath/Hatlab github similar
• cpa/haskellcontracts-examples github similar
• GRACeFUL-project/haskelzinc github similar
• GRACeFUL-project/GRACe github similar
• valderman/haste-deck github similar
• dtekcth/DtekPortalen github similar
• water/mainline github similar
• davnils/katt github similar
• ocramz/petsc-hs github similar
• koengit/satplus github similar
• rampion/Cascade github similar
• emilaxelsson/syntactic github similar
• ELTE-Soft/txtUML github similar
• Micket/chalmers github similar
• ekmett/rounded github similar
• danr/hipspec github similar
• yesodweb/cabal-meta github similar
• ndmitchell/build-shootout github similar
• JPMoresmau/eclipsefp github similar
• mzero/haskell-amuse-bouche github similar
• teyjus/teyjus github similar
• mchakravarty/BigPixel github similar
• lukerandall/haskellmode-vim github similar
• gasche/icfp2016-papers github similar
• GU-CLASP/TypedFlow github similar
• nick8325/quickspec github similar
• DSLsofMath/DSLsofMath github similar
• chrisdone/hell github similar
• dag/vim2hs github similar
• eagletmt/neco-ghc github similar
• gregwebs/Shelly.hs github similar
• haskell-CI/haskell-ci github similar
• conal/concat github similar