Pedro-V / functional-asteroids
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
- Jupyter notebooks☆58Updated 4 months ago
- the dynabook but for haskell☆23Updated 5 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 5 months ago
- 🎭 Actor library for Haskell☆30Updated 2 years ago
- So, you want to write a DSL interpreter...☆25Updated 6 years ago
- 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
- a self-hosting lambda calculus compiler☆35Updated this week
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago
- GenericPersistence is a Haskell persistence library for relational databases. The approach relies on GHC.Generics. A real-world demo can …☆11Updated 3 months ago
- An efficient graph library for Haskell☆39Updated 7 months ago
- First Class Record Fields in Haskell☆17Updated 3 weeks ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 4 years ago
- A streaming PostgreSQL logical replication client library for Haskell☆39Updated last year
- Embedding of python interpreter into haskell programs☆10Updated 3 weeks ago
- The compilation target that functional programmers always wanted.☆62Updated 4 years ago
- Run dyalog APL and RIDE on nixos☆20Updated 10 months ago
- Home of the fast-arithmetic library for number theory in ATS and Haskell.☆25Updated 8 months ago
- Invertible parsing for S-expressions☆34Updated 6 months ago
- SPJ's tutorial on implementing functional languages☆28Updated 5 years ago
- A library for benign effects in Haskell☆20Updated last month
- ☆41Updated last year
- Haskell Diagrams for Penrose Kite and Dart non-periodic tilings☆14Updated 2 months ago
- Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.☆16Updated 2 years ago
- Wrap up Haskell tools☆15Updated 3 years ago
- An implementation of Haskell’s MVars in Racket☆28Updated 5 months ago
- Benchmarks using the non-moving incremental GHC garbage collector☆22Updated 5 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated 9 months ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 9 years ago
- ☆26Updated 3 months ago
- A tiny statically typed programming language☆18Updated 10 years ago