Alternatives and similar repositories for SpaceInvaders

Users that are interested in SpaceInvaders are comparing it to the libraries listed below

• grin-compiler / idris-grin
  GRIN backend for Idris
  ☆50Updated 5 years ago
• ptigwe / hs-flatris
  An implementation of Flatris using Haskell and Miso
  ☆32Updated 6 years ago
• asivitz / Hickory
  Tools for building 3D interactive programs in Haskell
  ☆73Updated last week
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 7 years ago
• ekmett / zippers
  Zippers based on lenses and traversals
  ☆41Updated 2 years ago
• snoyberg / why-you-should-use-stm
  ☆44Updated 6 years ago
• isovector / ecstasy
  a GHC.Generics-based entity component system
  ☆77Updated 5 years ago
• jmoy / alexhappy
  Examples for the book “Alex and Happy”
  ☆34Updated 10 years ago
• idream-build / idream
  A simple build system for Idris
  ☆22Updated 4 years ago
• lambdacube3d / lambdacube-quake3
  Quake 3 map viewer in Haskell using LambdaCube 3D
  ☆69Updated 2 years ago
• haskell-perf / graphs
  ☆41Updated 5 years ago
• Mattiemus / LaneWars
  A MOBA written using Haskell, Yampa, and SDL
  ☆27Updated 10 years ago
• monadfix / named
  Named parameters (keyword arguments) for Haskell
  ☆98Updated 9 months ago
• Helium4Haskell / helium
  The Helium compiler, Helium-as-a-library, and the texthint interpreter
  ☆98Updated last year
• TOTBWF / tactic-haskell
  Tactic Metaprogramming in Haskell
  ☆56Updated 6 years ago
• mstksg / inCode
  Source for personal blog.
  ☆78Updated 3 months ago
• gergoerdi / icfp-bingo-2017-idris
  ICFP Bingo 2017 (Idris edition)
  ☆30Updated 6 years ago
• bamboo / IdrisUnityPlayground
  Experiments in Idris / Unity integration.
  ☆49Updated 9 years ago
• edwinb / IdrisApp
  An extensible IO-like monad-like thing for Idris, with support for including linear subprograms
  ☆22Updated 5 years ago
• jvranish / MiniKanrenT
  An implementation of miniKanren in Haskell
  ☆79Updated 12 years ago
• Mushy-pea / Game-Dangerous
  A 3D game engine written in Haskell and OpenGL Shading Language. The goal is to make a 3D tribute to ZZT, including a game creation syst…
  ☆47Updated 3 weeks ago
• seagreen / hermetic
  Strategy game in Haskell (PRs: )
  ☆50Updated 5 years ago
• brianhempel / live-ghci
  Evaluate special comments in your program on file save.
  ☆39Updated 5 years ago
• kowainik / slist
  ♾️ Sized list
  ☆47Updated last year
• vmchale / atspkg
  Build tool for ATS.
  ☆42Updated 3 years ago
• serokell / foundry
  Morte IDE
  ☆29Updated 8 months ago
• leon-vv / Todo
  Idris Todo web application example
  ☆41Updated 2 years ago
• ocharles / netwire-classics
  Classic games recreated in netwire
  ☆95Updated 8 years ago
• jdevuyst / rekenaar
  Idris tactics for (commutative) monoids
  ☆20Updated 5 years ago
• xgrommx / idris-ecosystem
  ☆50Updated 8 years ago