Similar repositories to polasek/idris-scientific:

• polasek/idris-scientific github similar
• MaximilianAlgehed/DCC github similar
• simonpj/haskellcontracts github similar
• smfactor/UnitsAsTypes github similar
• IntelLabs/flrc-benchmarks github similar
• madgen/exalog github similar
• andrewthad/natural-arithmetic github similar
• johnynek/rules_tla github similar
• mnieper/gravity github similar
• edwinb/Eff github similar
• LeifW/online-typechecker github similar
• edwinb/Eff-new github similar
• kosmikus/kaleidoscope-regensburg github similar
• redneb/hs-btrfs github similar
• syallop/Join-Interpreter-Distributed github similar
• kfish/const-math-ghc-plugin github similar
• nushio3/physics-inhaskell github similar
• granule-project/granule-compiler-llvm github similar
• vincenthz/hsco github similar
• agrafix/reroute github similar
• habemus-papadum/stack-notebook github similar
• chessai/vector-circular github similar
• ghcjs/ghcjs-canvas github similar
• yveszhang/ldtyping github similar
• martinrehfeld/docker-haskell-platform github similar
• andrewthad/serpentine github similar
• TravisWhitaker/libglaswegian github similar
• reynir/Verified github similar
• dysinger/agda-haskell-c-ffi-layer-cake github similar
• david-christiansen/idris-utils github similar
• kizzx2/illustrated-haskell github similar
• DanielG/rts-loader github similar
• agrafix/rocksdb-haskell github similar
• haskell-hvr/argon2 github similar
• srdqty/talc-3.0 github similar
• proglang/ldgv github similar
• edwinb/tactics-tutorial github similar
• orclev/CBOR github similar
• barrucadu/minifu github similar
• Fuuzetsu/ghc-prof-aeson-flamegraph github similar