lunarcast / lunarflow
Lambda calculus go brrrr
☆29Updated last year
Alternatives and similar repositories for lunarflow:
Users that are interested in lunarflow are comparing it to the libraries listed below
- A PureScript's CoreImp AST for transpiling into dynamically typed languages☆15Updated 4 years ago
- An error-tolerant live programming environment (my Master's thesis)☆18Updated 2 years ago
- An approach to user interfaces based in denotational design.☆27Updated 2 years ago
- MIDI and Web MIDI support☆11Updated 2 years ago
- purescript-behaviors in PSCi☆19Updated 5 years ago
- Events, behaviors, and uneventful misbehaving☆16Updated 6 months ago
- Universal Live Coding & Functional Reactive Programming Framework☆65Updated 3 weeks ago
- Lua parser and pretty-printer☆15Updated 10 months ago
- 🍠 A functional 2D game engine that can create emoji games.☆50Updated 2 years ago
- Dissectible data structures for implementing iterative traversals.☆20Updated 2 years ago
- Haskell parsing combinator liibrary that can be fed the input and emit the parsed output incrementally☆23Updated last year
- Functions for working with homogeneous JavaScript objects☆28Updated 2 years ago
- dependently-typed lisp with flexible compiler backends☆28Updated 5 years ago
- A simple build system for Idris☆22Updated 4 years ago
- the dynabook but for haskell☆23Updated 5 years ago
- Ouroboros is a PureScript compiler written in PureScript.☆20Updated 6 months ago
- Malfunction backend for Idris 2☆12Updated 3 years ago
- Simple games implemented in purescript☆15Updated 6 years ago
- Higher order functional programming in PureScript's type system☆43Updated 3 years ago
- An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.☆49Updated 2 months ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 4 years ago
- Wasm library for PureScript☆27Updated 8 months ago
- A Haskell libary for fast arrowized FRP based on signal functions☆18Updated 7 months ago
- Port of the Haskell School of Music to Purescript☆22Updated last month
- Provides a type-safe way of working with permutations in Idris☆35Updated 3 years ago
- A flexible Haskell API for querying the GitHub REST API☆14Updated 9 months ago
- Fast, hash-based, immutable collections.☆25Updated last year
- Session types framework with support of protocol pipelining.☆16Updated 3 weeks ago
- The Hadrian build system for GHC☆9Updated 6 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 5 months ago