lunarcast / lunarflowLinks
Lambda calculus go brrrr
☆29Updated 2 years ago
Alternatives and similar repositories for lunarflow
Users that are interested in lunarflow are comparing it to the libraries listed below
Sorting:
- A PureScript's CoreImp AST for transpiling into dynamically typed languages☆15Updated 4 years ago
- purescript-behaviors in PSCi☆19Updated 5 years ago
- Events, behaviors, and uneventful misbehaving☆17Updated 9 months ago
- An approach to user interfaces based in denotational design.☆27Updated 2 years ago
- Wasm library for PureScript☆28Updated 10 months ago
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 5 years ago
- Universal Live Coding & Functional Reactive Programming Framework☆66Updated 3 months ago
- Braiding extensible effects together in a pipeline/workflow of tasks☆60Updated last year
- Higher order functional programming in PureScript's type system☆43Updated 3 years ago
- Deep evaluation of data structures☆41Updated last week
- Efficient parser combinators for Haskell☆39Updated 3 weeks ago
- So, you want to write a DSL interpreter...☆25Updated 6 years ago
- A talk☆28Updated 4 years ago
- Purescript port of Pipes - http://hackage.haskell.org/package/pipes-4.1.9☆32Updated 3 years ago
- Ouroboros is a PureScript compiler written in PureScript.☆20Updated 9 months ago
- Extensible records for Idris☆25Updated 4 years ago
- The Hadrian build system for GHC☆9Updated 6 years ago
- Functions for working with homogeneous JavaScript objects☆28Updated 2 years ago
- A simple build system for Idris☆22Updated 4 years ago
- a tiny tool for visualising substructual sharing in data structures 🕵️♀️☆16Updated 6 years ago
- Fast, hash-based, immutable collections.☆25Updated last year
- Port of the Haskell School of Music to Purescript☆21Updated last week
- Dissectible data structures for implementing iterative traversals.☆20Updated 3 years ago
- Dependently-typed finite maps (partial dependent products)☆66Updated 4 months ago
- Grow procedual art☆37Updated 3 months ago
- Types for ldtk☆15Updated last year
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- Haskell Package for operating with selections over an underlying functor☆22Updated 4 years ago
- Wrap up Haskell tools☆15Updated 4 years ago