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 4 years ago
- A huge number library for Purescript with emphasis on correctness.☆12Apr 27, 2022Updated 4 years ago
- Higher order functional programming in PureScript's type system☆44Nov 9, 2021Updated 4 years ago
- A combinator for making any monadic control operator stack-safe☆26Oct 24, 2019Updated 6 years ago
- Phaser 3 bindings for PureScript.☆12Apr 9, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Extra functions for working with Records☆30Nov 16, 2022Updated 3 years ago
- Algebraic UI's in Purescript☆16Dec 4, 2020Updated 5 years ago
- Maps and folds for heterogeneous data types.☆62Jun 21, 2025Updated last year
- Dhall types and default values for the alacritty terminal emulator☆12May 9, 2021Updated 5 years ago
- Type-safe, printf-style formatting for PureScript☆17May 15, 2022Updated 4 years ago
- Trout and code sharing in PureScript☆23Dec 15, 2019Updated 6 years ago
- CHR2 to SQL conversion☆15Aug 27, 2015Updated 10 years ago
- Bifunctors and biapplicatives☆12Apr 13, 2025Updated last year
- A Prelude with names from category theory☆51Sep 5, 2016Updated 9 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A lens-compatible set of getters for purescript-foreign☆10Apr 4, 2017Updated 9 years ago
- CHR: Leuven Constraint Handling Rules☆27Jul 19, 2026Updated last week
- A concrete-syntax tree and parser for the PureScript language☆41May 22, 2019Updated 7 years ago
- Constraint Handling Rules in Clojure☆28Oct 14, 2011Updated 14 years ago
- Leibniz Equality☆19Jun 7, 2018Updated 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 template for idris projects☆11Jun 27, 2021Updated 5 years ago
- Lambda calculus at the type level.☆20Jul 22, 2017Updated 9 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A dependently typed programming language, a successor to Idris☆12Jul 18, 2021Updated 5 years ago
- A slack bot that will fetch type signatures via Hoogle☆21May 11, 2016Updated 10 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 toy turtle graphics interpreter based on the Free monad, in PureScript, with HTML Canvas graphics support.☆16Oct 1, 2020Updated 5 years ago
- A simple console debugger for PureScript functions☆22Oct 17, 2018Updated 7 years ago
- Error/Warning reporting frontend for the PureScript compiler☆92Jul 13, 2024Updated 2 years ago
- Command line tool for converting html/svg into elm source☆14Aug 15, 2018Updated 7 years ago
- Arbitrary length integers for PureScript☆26Mar 22, 2023Updated 3 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- An experiment in functional interface design☆24Oct 29, 2016Updated 9 years ago
- Automatically derivable JSON marshallers in the spirit of Haskell's aeson☆19Jun 20, 2026Updated last month
- 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
- ☆43Mar 1, 2023Updated 3 years ago
- Explaining category theory by example☆10Jun 30, 2017Updated 9 years ago
- SML implementation of System T from PFPL.☆11Jun 28, 2017Updated 9 years ago