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
- A streaming PostgreSQL logical replication client library for Haskell☆42Updated 2 years ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 5 years ago
- Invertible parsing for S-expressions☆34Updated 5 months ago
- Implementing a small functional language with a combinator based graph-reduction machine☆36Updated last week
- ☆41Updated last year
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 10 months ago
- An efficient graph library for Haskell☆38Updated 3 weeks ago
- A tiny statically typed programming language☆18Updated 11 years ago
- the dynabook but for haskell☆23Updated 5 years ago
- Home of the fast-arithmetic library for number theory in ATS and Haskell.☆25Updated last year
- First Class Record Fields in Haskell☆17Updated 3 months ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆53Updated 8 years ago
- Haskell knowledgebase, Zettelkasten style (~2 months experiment, which resulted in migration to srid.ca)☆17Updated 5 years ago
- Strategy game in Haskell (PRs: )☆50Updated 5 years ago
- All the Transient libraries☆41Updated 3 weeks ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 6 years ago
- Wrap up Haskell tools☆15Updated 4 years ago
- A Haskell implementation of "Functional pearl: a SQL to C compiler in 500 lines of code"☆46Updated 6 years ago
- Haskell library containing common graph search algorithms☆53Updated 2 months ago
- Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques☆44Updated 7 months ago
- Focused domain model declaration toolkit for Haskell☆47Updated last year
- ☆37Updated 2 years ago
- Vector & affine spaces, linear maps, and derivatives☆49Updated 3 months ago
- Derivation of Optimized Definitions Based on Specs☆15Updated 5 years ago
- A tutorial about how to apply property-based testing to stateful systems.☆79Updated 2 years ago
- Awesome Agda Programming☆18Updated 5 years ago
- Tactic Metaprogramming in Haskell☆56Updated 6 years ago
- An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.☆49Updated 7 months ago
- Austin's supercompiler work☆21Updated 5 years ago