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. We may earn a commission when you buy through links labeled 'Ad' on this page.
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
- Higher order functional programming in PureScript's type system☆44Nov 9, 2021Updated 4 years ago
- Phaser 3 bindings for PureScript.☆12Apr 9, 2023Updated 2 years ago
- A combinator for making any monadic control operator stack-safe☆26Oct 24, 2019Updated 6 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Extra functions for working with Records☆30Nov 16, 2022Updated 3 years ago
- Algebraic UI's in Purescript☆15Dec 4, 2020Updated 5 years ago
- Maps and folds for heterogeneous data types.☆62Jun 21, 2025Updated 9 months ago
- Type-safe, printf-style formatting for PureScript☆17May 15, 2022Updated 3 years ago
- Dhall types and default values for the alacritty terminal emulator☆12May 9, 2021Updated 4 years ago
- Trout and code sharing in PureScript☆23Dec 15, 2019Updated 6 years ago
- Erlang reltool utility functionality application☆26Feb 16, 2024Updated 2 years ago
- Bifunctors and biapplicatives☆12Apr 13, 2025Updated 11 months ago
- A Prelude with names from category theory☆51Sep 5, 2016Updated 9 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- CHR2 to SQL conversion☆15Aug 27, 2015Updated 10 years ago
- A lens-compatible set of getters for purescript-foreign☆10Apr 4, 2017Updated 8 years ago
- A concrete-syntax tree and parser for the PureScript language☆41May 22, 2019Updated 6 years ago
- Leibniz Equality☆19Jun 7, 2018Updated 7 years ago
- CHR: Leuven Constraint Handling Rules☆26Mar 15, 2026Updated 2 weeks ago
- Lambda calculus at the type level.☆20Jul 22, 2017Updated 8 years ago
- Existential types as a library☆35Nov 16, 2022Updated 3 years ago
- Haskell Type Level Example Programs☆28Nov 30, 2017Updated 8 years ago
- A slack bot that will fetch type signatures via Hoogle☆21May 11, 2016Updated 9 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Programming Language meets UI☆51Oct 4, 2017Updated 8 years ago
- A simple console debugger for PureScript functions☆22Oct 17, 2018Updated 7 years ago
- A template for idris projects☆11Jun 27, 2021Updated 4 years ago
- Compositional, streaming I/O library (unfinished)☆13Sep 7, 2015Updated 10 years ago
- being the programs and code for a paper about general recursion☆26Feb 15, 2015Updated 11 years ago
- A dependently typed programming language, a successor to Idris☆12Jul 18, 2021Updated 4 years ago
- Arbitrary length integers for PureScript☆26Mar 22, 2023Updated 3 years ago
- A toy turtle graphics interpreter based on the Free monad, in PureScript, with HTML Canvas graphics support.☆16Oct 1, 2020Updated 5 years ago
- Error/Warning reporting frontend for the PureScript compiler☆92Jul 13, 2024Updated last year
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- An experiment in functional interface design☆24Oct 29, 2016Updated 9 years ago
- Example of Isomorphic React Application written in PureScript☆22Aug 27, 2017Updated 8 years ago
- A Purescript data type for untagged unions☆51Dec 10, 2022Updated 3 years ago
- Command line tool for converting html/svg into elm source☆14Aug 15, 2018Updated 7 years ago
- Automatically derivable JSON marshallers in the spirit of Haskell's aeson☆19Nov 15, 2025Updated 4 months ago
- ☆43Mar 1, 2023Updated 3 years ago
- A simplistic AFRP implementation☆13Sep 3, 2015Updated 10 years ago