Similar repositories to steshaw/idris-sdl2:

• steshaw/idris-sdl2 github similar
• danistefanovic/build-your-own-x github similar
• eckart/gl-idris github similar
• corazza/game-idris github similar
• expipiplus1/vector-sized github similar
• emilypi/smash github similar
• arrayfire/arrayfire-haskell github similar
• isovector/type-sets github similar
• nukata/lisp-in-cs github similar
• isovector/suavemente github similar
• fpco/typed-process github similar
• jfdm/idris-containers github similar
• munificent/amaranth github similar
• MarcWeber/hasktags github similar
• facebookincubator/hsthrift github similar
• bcarruthers/garnet github similar
• polterguy/lizzie github similar
• janestreet/ecaml github similar
• idris-hackers/idris-mode github similar
• quchen/prettyprinter github similar
• haskell/hackage-server github similar
• lettier/movie-monad github similar
• racket/typed-racket github similar
• matthewbauer/nix-bundle github similar
• haskell-beam/beam github similar
• LambdaHack/LambdaHack github similar
• serokell/deploy-rs github similar
• kowainik/relude github similar
• nick8325/quickcheck github similar
• janestreet/incremental github similar
• DanielKeep/tlborm github similar
• Siv3D/OpenSiv3D github similar
• lexi-lambda/hackett github similar
• snoyberg/conduit github similar
• typelevel/squants github similar
• edwinb/Idris2-boot github similar
• emacs-evil/evil-collection github similar
• asciidoctor/asciidoctor-pdf github similar
• ndmitchell/ghcid github similar
• kr/pretty github similar