Pedro-V / functional-asteroidsLinks
Mini-game built on a functional style
☆12Updated 3 years ago
Alternatives and similar repositories for functional-asteroids
Users that are interested in functional-asteroids are comparing it to the libraries listed below
Sorting:
- Jupyter notebooks☆58Updated 9 months ago
- Implementing a small functional language with a combinator based graph-reduction machine☆36Updated 3 weeks ago
- A streaming PostgreSQL logical replication client library for Haskell☆40Updated 2 years ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 5 years ago
- ☆36Updated last year
- the dynabook but for haskell☆23Updated 5 years ago
- Vector & affine spaces, linear maps, and derivatives☆49Updated 2 months ago
- ☆41Updated last year
- A tiny statically typed programming language☆18Updated 11 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 6 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 10 months ago
- Invertible parsing for S-expressions☆34Updated 4 months ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆53Updated 8 years ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 5 years ago
- Tactic Metaprogramming in Haskell☆56Updated 6 years ago
- ☆37Updated 2 years ago
- First Class Record Fields in Haskell☆17Updated 3 months ago
- Braiding extensible effects together in a pipeline/workflow of tasks☆60Updated 2 years ago
- https://unsafeperform.io/blog/2022-07-02-a_small_benchmark_for_functional_languages_targeting_web_browsers/☆27Updated 2 years ago
- Strategy game in Haskell (PRs: )☆50Updated 5 years ago
- A simple Prolog interpreter☆42Updated 3 years ago
- Source files used for the Cedille Cast videos☆12Updated 4 years ago
- Stroll: an experimental build system☆41Updated 2 years ago
- A structural editor for JSON values☆77Updated 2 years ago
- Strongly typed paths in Haskell☆16Updated last month
- All the Transient libraries☆41Updated last week
- Awesome Agda Programming☆18Updated 5 years ago
- ☆47Updated 7 years ago
- Focused domain model declaration toolkit for Haskell☆47Updated last year
- ☆12Updated 4 years ago