stefankoegel / clickyEvaluationView external linksLinks
Visual tool for stepwise evaluation of simple Haskell expressions
☆20Dec 20, 2019Updated 6 years ago
Alternatives and similar repositories for clickyEvaluation
Users that are interested in clickyEvaluation are comparing it to the libraries listed below
Sorting:
- Syntactically light-weight call-by-name arguments in PureScript. No guarantees. Completely gratuitous.☆32May 3, 2022Updated 3 years ago
- A huge number library for Purescript with emphasis on correctness.☆12Apr 27, 2022Updated 3 years ago
- Phaser 3 bindings for PureScript.☆12Apr 9, 2023Updated 2 years ago
- Algebraic UI's in Purescript☆15Dec 4, 2020Updated 5 years ago
- A combinator for making any monadic control operator stack-safe☆26Oct 24, 2019Updated 6 years ago
- Higher order functional programming in PureScript's type system☆44Nov 9, 2021Updated 4 years ago
- Extra functions for working with Records☆30Nov 16, 2022Updated 3 years ago
- Type-safe, printf-style formatting for PureScript☆17May 15, 2022Updated 3 years ago
- A Prelude with names from category theory☆51Sep 5, 2016Updated 9 years ago
- Lambda calculus at the type level.☆20Jul 22, 2017Updated 8 years ago
- Maps and folds for heterogeneous data types.☆62Jun 21, 2025Updated 7 months ago
- Example of Isomorphic React Application written in PureScript☆22Aug 27, 2017Updated 8 years ago
- A simple console debugger for PureScript functions☆22Oct 17, 2018Updated 7 years ago
- A slack bot that will fetch type signatures via Hoogle☆21May 11, 2016Updated 9 years ago
- ☆43Mar 1, 2023Updated 2 years ago
- React-Router implemented in PureScript as Cofree Comonad for the Array functor.☆25Mar 11, 2018Updated 7 years ago
- Trout and code sharing in PureScript☆23Dec 15, 2019Updated 6 years ago
- A raytracer written in Haskell☆10Aug 26, 2015Updated 10 years ago
- Yet another haskell term rewriting library☆18Aug 27, 2025Updated 5 months ago
- A lens-compatible set of getters for purescript-foreign☆10Apr 4, 2017Updated 8 years ago
- Compositional, streaming I/O library (unfinished)☆13Sep 7, 2015Updated 10 years ago
- Dhall types and default values for the alacritty terminal emulator☆12May 9, 2021Updated 4 years ago
- Arbitrary length integers for PureScript☆26Mar 22, 2023Updated 2 years ago
- A little utility to derive lenses and prisms for data types in PureScript☆39Apr 11, 2017Updated 8 years ago
- A simplistic AFRP implementation☆13Sep 3, 2015Updated 10 years ago
- Selective applicative functors☆16Jul 2, 2018Updated 7 years ago
- Type-Theory in Sequent Calculus☆14Jul 30, 2015Updated 10 years ago
- Explaining category theory by example☆10Jun 30, 2017Updated 8 years ago
- Working illustration of the Capability Design Pattern☆12Feb 1, 2021Updated 5 years ago
- Javascript Interpreter in Functional-Style Javascript☆20Feb 9, 2018Updated 8 years ago
- Resin: high performance variable binder and ast manipulation lib☆13Jan 1, 2019Updated 7 years ago
- Higher-order FRP for PureScript☆13Dec 24, 2022Updated 3 years ago
- being the programs and code for a paper about general recursion☆26Feb 15, 2015Updated 11 years ago
- A concrete-syntax tree and parser for the PureScript language☆41May 22, 2019Updated 6 years ago
- An experiment in functional interface design☆24Oct 29, 2016Updated 9 years ago
- A Purescript data type for untagged unions☆51Dec 10, 2022Updated 3 years ago
- Haskell Type Level Example Programs☆28Nov 30, 2017Updated 8 years ago
- Talk on generic parallel scan☆14May 12, 2017Updated 8 years ago
- just an example of how simple ADTs should have JSON serialization and deserialization automatically derived☆12Jan 22, 2017Updated 9 years ago