chris-martin / graphical-haskell
☆13Updated 5 years ago
Alternatives and similar repositories for graphical-haskell:
Users that are interested in graphical-haskell are comparing it to the libraries listed below
- 🔖 Better Haskell documentation.☆17Updated 4 years ago
- Source location helpers☆9Updated 8 years ago
- A nullary type class for partial functions☆15Updated 7 years ago
- Cursor data and manipulation☆21Updated last year
- An interactive beta reduction calculator for lambda calculus☆10Updated 6 years ago
- 🌋 Idris implementation of patricia tree☆22Updated 4 years ago
- Lens combinators for fused-effects.☆17Updated 4 years ago
- Term Rewriting Systems☆17Updated 9 years ago
- ☆23Updated 7 years ago
- ☆20Updated 5 years ago
- A simple, purely-functional programming language☆24Updated 2 years ago
- Quick start for the vagrant box I use for ghcjs / react-haskell / pigment development☆11Updated 9 years ago
- Property based testing for Servant using Hedgehog☆19Updated 3 years ago
- SPAKE2 key exchange protocol for Haskell☆14Updated last year
- Less Type, more Typeable.☆14Updated 5 years ago
- Sift through Haskell code for analysis purposes☆18Updated 6 years ago
- the dynabook but for haskell☆23Updated 5 years ago
- Dhall-configured inductive API definitions☆24Updated 4 years ago
- A compiler for a strongly typed, haskell-like functional language☆22Updated 6 years ago
- A simple example of integrating TypeScript and Haskell.☆13Updated 3 years ago
- LibSSH2 FFI bindings for Haskell☆26Updated 7 months ago
- used to be something more ambitious, cut scope to just a simple compiler for thesis project☆17Updated 6 years ago
- Efficiently hash Haskell values with MD5, SHA256, SHA512 and other hashing algorithms☆15Updated this week
- Hakyll support for Agda literate files☆19Updated 3 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- Haskell bindings to libsystemd-journal☆21Updated 4 months ago
- Wasm library for PureScript☆27Updated 5 months ago
- GraphQL Schema generation in Haskell☆17Updated 4 years ago
- Types representing line and column positions and ranges in text files☆11Updated last year
- Run lifted IO operations asynchronously and wait for their results☆28Updated 2 months ago