Space Invaders game in Elm
☆23Jan 7, 2023Updated 3 years ago
Alternatives and similar repositories for space_invaders
Users that are interested in space_invaders are comparing it to the libraries listed below
Sorting:
- Apprenez à developper en ReasonML en faisant un jeu vidéo !☆14Mar 14, 2018Updated 7 years ago
- Conway's Game of Life with slow decay☆11Jul 10, 2020Updated 5 years ago
- Files for the tutorial "Correct-by-construction programming in Agda" at POPL '19 in Cascais☆26Jan 14, 2019Updated 7 years ago
- An elm implementation of the BigInt paradigm.☆17Jul 21, 2025Updated 7 months ago
- An higher-level LLVM binding for OCaml☆14Apr 4, 2017Updated 8 years ago
- Build great UI with drag-and-drop simple☆33Sep 4, 2018Updated 7 years ago
- A small maze game☆13Mar 1, 2017Updated 9 years ago
- An Elm implementation of Gabriele Cirulli's 2048 game☆12Jul 12, 2023Updated 2 years ago
- Helper for building generic names, similar to webpack☆15Feb 28, 2023Updated 3 years ago
- Haskell libraries for working with the Stripe API☆21Jan 26, 2025Updated last year
- Dafny for Metatheory of Programming Languages☆29Feb 6, 2026Updated last month
- Awesome Agda Programming☆18Sep 22, 2025Updated 5 months ago
- Library for manipulating Haskell source code☆22Sep 11, 2025Updated 5 months ago
- Haskell98 indexed functors, monads, comonads☆25Mar 8, 2022Updated 3 years ago
- This repository is supposed to hold a released version of Xanadu☆24Jul 26, 2021Updated 4 years ago
- ☆20Jan 4, 2023Updated 3 years ago
- Write styles in your React Component, and get the component styled with .css files automatic generated☆21Mar 23, 2018Updated 7 years ago
- a distributed computing library for OCaml☆24Jan 19, 2024Updated 2 years ago
- Arbitrary-precision floating-point numbers represented using scientific notation☆75Jan 5, 2026Updated 2 months ago
- Malfunction backend for Idris with a FFI to OCaml☆28Aug 22, 2019Updated 6 years ago
- Ultra high performance progressive web application built with React + Reason (with hooks) and Next.js.☆30Dec 19, 2020Updated 5 years ago
- Composition of Functions☆24May 25, 2020Updated 5 years ago
- Code for the "Logic, machines and sequent calculus" talk☆31Sep 7, 2022Updated 3 years ago
- Accepted papers for ICFP 2014☆119May 19, 2016Updated 9 years ago
- Elm workshop☆33Feb 14, 2020Updated 6 years ago
- The RealWorld example app built with elm-spa!☆58Jul 15, 2021Updated 4 years ago
- elm-css code generation for Tailwind utilities☆26Jan 6, 2023Updated 3 years ago
- Convert stack projects to cabal.project + cabal.project.freeze☆26Mar 18, 2024Updated last year
- A Toy Inverse Bidirectional Typechecker☆32May 13, 2019Updated 6 years ago
- Docker image for nix [maintainer=@zimbatm] [status=deprecated]☆37May 19, 2020Updated 5 years ago
- The official Ant Design UI Kit for Elm☆59Jan 7, 2023Updated 3 years ago
- URLs for applications☆28Feb 24, 2024Updated 2 years ago
- A class of monads which can log messages☆39Mar 10, 2025Updated 11 months ago
- A prototype of a pure Elm text editor, forked from work of Sydney Nemzer.☆37Apr 20, 2021Updated 4 years ago
- Helping you keep your workstation nice and tidy☆31Sep 29, 2020Updated 5 years ago
- A reusable date picker component in Elm 0.19.☆35Apr 20, 2021Updated 4 years ago
- Searchable changelog from markdown files.☆13Feb 25, 2026Updated last week
- Ledger Nano-S Application & JS Library☆10Sep 6, 2020Updated 5 years ago
- A flexible and extensible form package in Elm that uses the platform.☆11Jul 8, 2024Updated last year