Alternatives and similar repositories for SpaceInvaders:

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

• ptigwe / hs-flatris
  An implementation of Flatris using Haskell and Miso
  ☆32Updated 5 years ago
• ekmett / zippers
  Zippers based on lenses and traversals
  ☆40Updated last year
• esmolanka / sexp-grammar
  Invertible parsing for S-expressions
  ☆34Updated last month
• idream-build / idream
  A simple build system for Idris
  ☆22Updated 4 years ago
• ioanluca / real-world-idris
  Malfunction backend for Idris with a FFI to OCaml
  ☆28Updated 5 years ago
• asivitz / Hickory
  Tools for building 3D interactive programs in Haskell
  ☆70Updated 2 months ago
• obsidiansystems / dependent-map
  Dependently-typed finite maps (partial dependent products)
  ☆66Updated 2 months ago
• haskell / deepseq
  Deep evaluation of data structures
  ☆41Updated 8 months ago
• kowainik / prolens
  👓 Profunctor based lightweight implementation of Lenses
  ☆71Updated last year
• brianhempel / live-ghci
  Evaluate special comments in your program on file save.
  ☆38Updated 4 years ago
• travitch / haggle
  An efficient graph library for Haskell
  ☆39Updated 9 months ago
• nomeata / kaleidogen
  Grow procedual art
  ☆37Updated last month
• haskellnews / haskellnews
  An aggregation of all online content related to Haskell.
  ☆91Updated 6 years ago
• dhall-lang / dhall-to-cabal
  Compile Dhall expressions to Cabal files
  ☆101Updated 2 years ago
• jaspervdj / blaze-markup
  Core modules for a blazing fast markup combinator library
  ☆22Updated 10 months ago
• edwinb / IdrisApp
  An extensible IO-like monad-like thing for Idris, with support for including linear subprograms
  ☆22Updated 5 years ago
• xgrommx / agda-ecosystem
  ☆30Updated 6 years ago
• grin-compiler / idris-grin
  GRIN backend for Idris
  ☆51Updated 5 years ago
• effectfully / OTT
  Observational Type Theory as an Agda library
  ☆53Updated 7 years ago
• haskell-trasa / trasa
  Safe web routing in haskell
  ☆30Updated 2 years ago
• alhassy / AgdaCheatSheet
  Basics of the dependently-typed functional language Agda ^_^
  ☆39Updated 3 years ago
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 6 years ago
• rossberg / mixml
  MixML prototype interpreter
  ☆27Updated 5 years ago
• JLimperg / cats
  Category Theory in Agda. Learning exercise, not for public consumption.
  ☆25Updated 5 years ago
• inanna-malick / mononoke
  Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions …
  ☆3Updated 3 years ago
• obsidiansystems / rhyolite
  ☆29Updated 3 months ago
• serokell / foundry
  Morte IDE
  ☆29Updated last month
• atennapel / coc-os
  "operating system" based on the calculus of constructions
  ☆18Updated 2 years ago
• sheaf / acts
  Haskell library for semigroup actions and torsors
  ☆62Updated 3 months ago
• sfultong / stand-in-language
  a simple total pure functional language, eventually to have powerful static checking and optimization
  ☆33Updated 3 weeks ago