Pedro-V / functional-asteroidsLinks
Mini-game built on a functional style
☆12Updated 2 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:
- First Class Record Fields in Haskell☆17Updated 3 weeks ago
- A Haskell monad transformer library for data validation☆36Updated last year
- srv is a tiny web server for local deployments☆9Updated 4 months ago
- lucid + htmx = lucid-htmx☆19Updated 10 months ago
- GenericPersistence is a Haskell persistence library for relational databases. The approach relies on GHC.Generics. A real-world demo can …☆12Updated last month
- ☆12Updated 4 years ago
- the dynabook but for haskell☆23Updated 5 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆53Updated 8 years ago
- An efficient graph library for Haskell☆39Updated last month
- An implementation of Haskell’s MVars in Racket☆29Updated 8 months ago
- classical sequent calculus, embedded in Haskell☆20Updated 3 years ago
- ☆41Updated last year
- Run dyalog APL and RIDE on nixos☆20Updated last year
- Invertible parsing for S-expressions☆34Updated 2 months ago
- All the Transient libraries☆40Updated 2 months ago
- a self-hosting lambda calculus compiler☆35Updated 2 months ago
- A streaming PostgreSQL logical replication client library for Haskell☆39Updated last year
- https://unsafeperform.io/blog/2022-07-02-a_small_benchmark_for_functional_languages_targeting_web_browsers/☆27Updated 2 years ago
- Order theory☆24Updated last year
- Single Page Web Applications in Idris☆25Updated 8 months ago
- Embedding of python interpreter into haskell programs☆13Updated last month
- ☆35Updated last year
- A usable type system for call by push-value☆33Updated 5 years ago
- Reimplementation of a subset of Cabal☆30Updated last week
- 🌽 Core types and functions that power the Haskell `co-log` implementation☆18Updated 3 months ago
- ☆26Updated 5 months ago
- A talk☆28Updated 4 years ago
- A library for benign effects in Haskell☆20Updated last month
- Implementing a small functional language with a combinator based graph-reduction machine☆31Updated last year
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 5 years ago