stefankoegel / clickyEvaluationLinks
Visual tool for stepwise evaluation of simple Haskell expressions
☆20Updated 5 years ago
Alternatives and similar repositories for clickyEvaluation
Users that are interested in clickyEvaluation are comparing it to the libraries listed below
Sorting:
- Leibniz Equality☆19Updated 7 years ago
- A Haskell library providing separation of effects on the type level, effectively splitting up the monolithic IO-monad into more limited c…☆27Updated 7 years ago
- A tiny EDSL for making slides in PureScript☆26Updated 8 years ago
- An approach to user interfaces based in denotational design.☆27Updated 2 years ago
- a simple functional language for learners☆30Updated 8 years ago
- An "extensible coeffect" system built out of comonads and Day convolution.☆36Updated 4 years ago
- Relational programming for PureScript☆17Updated 8 years ago
- ☆33Updated 4 years ago
- dhall-driven package sets for psc-package. Mà, ho comprato una scatola di PureScript!☆47Updated 6 years ago
- ☆12Updated 4 years ago
- ☆21Updated 2 years ago
- Simple two-dimensional matrices backed by a flat array☆18Updated 5 years ago
- 🌋 Idris implementation of patricia tree☆23Updated 4 years ago
- Straightforward benchmarking for PureScript/JavaScript.☆31Updated last year
- A library for applying a row of rules for validation to refine a value☆12Updated 7 years ago
- Lambda calculus at the type level.☆20Updated 7 years ago
- Subclasses of Monoid with a solid theoretical foundation and practical purposes☆33Updated 4 months ago
- Data type isomorphic to α ∨ β ∨ (α ∧ β)☆14Updated 3 years ago
- Various efficient-ish sequence types for PureScript.☆47Updated last year
- the dynabook but for haskell☆23Updated 5 years ago
- Because Kmett is not expressive enough. You need CoKmett!☆35Updated 11 years ago
- Dissectible data structures for implementing iterative traversals.☆20Updated 3 years ago
- Convert, manipulate, analyze, blend, color scales, color schemes☆44Updated 3 years ago
- Purescript Regular expressions made easy☆24Updated 6 years ago
- An experiment in functional interface design☆24Updated 8 years ago
- Aff wrappers for purescript-node-fs☆21Updated last year
- Experimental record formatting from type-level format strings☆24Updated last year
- A PureScript prelude with more features.☆30Updated 7 years ago
- Purescript port of Pipes - http://hackage.haskell.org/package/pipes-4.1.9☆32Updated 3 years ago
- Haskell types and parsers for software version numbers.☆21Updated 5 months ago