cdparks / lambda-machine
A simple UI for evaluating expressions in the untyped lambda calculus
☆55Updated last year
Related projects: ⓘ
- ☆46Updated 8 years ago
- PureScript bindings for D3☆87Updated 2 years ago
- ☆33Updated 3 years ago
- ☆34Updated 8 years ago
- Recursion schemes for Idris☆64Updated 6 years ago
- List monad transformer☆60Updated 4 months ago
- a simple functional language for learners☆30Updated 7 years ago
- Various efficient-ish sequence types for PureScript.☆45Updated 6 months ago
- A PureScript prelude with more features.☆31Updated 7 years ago
- ☆21Updated 8 years ago
- complexity testing for haskell☆47Updated 8 years ago
- Haskell Package for operating with selections over an underlying functor☆22Updated 3 years ago
- A library for generating flow type signatures for direct interop between PureScript and Flow. Similar to OhYes☆19Updated 6 years ago
- Some useful control operators for looping☆47Updated 4 years ago
- Compile PureScript into Haskell.☆69Updated 6 years ago
- Calculate various string metrics efficiently in Haskell☆42Updated 3 months ago
- Arbitrary length integers for PureScript☆26Updated last year
- Integrates QuickChecked properties into the type system with phantom types☆34Updated 8 years ago
- Declare and access tuple fields with labels☆61Updated 5 years ago
- An alternate definition of Haskell's Functor typeclass☆42Updated 5 years ago
- ☆41Updated 7 years ago
- ☆24Updated 7 years ago
- Haskell types lined up to highlight their similarities☆31Updated 4 years ago
- 2048 game clone using Yampa FRP library☆35Updated 9 years ago
- Working through Type-Driven Development with Idris☆24Updated 8 years ago
- Monadic Javascript Compiler☆73Updated 8 years ago
- ☆21Updated this week
- Type declarations for jQuery☆30Updated 4 years ago
- Model-view-controller☆62Updated 2 years ago
- A book about large-scale design in Haskell☆75Updated 9 years ago