chris-martin / graphical-haskellLinks
☆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
Sorting:
- 🔖 Better Haskell documentation.☆17Updated 5 years ago
- 🌋 Idris implementation of patricia tree☆23Updated 4 years ago
- A nullary type class for partial functions☆15Updated 7 years ago
- Extensible HTTP Web server configured entirely by a yaml file☆25Updated 7 years ago
- ☆23Updated 7 years ago
- Term Rewriting Systems☆17Updated 9 years ago
- A simple, purely-functional programming language☆25Updated 3 years ago
- Closure calculus implementation☆12Updated 6 years ago
- A Purescript implementation of Elm's `core` library☆30Updated 7 years ago
- SPAKE2 key exchange protocol for Haskell☆14Updated 2 years ago
- LibSSH2 FFI bindings for Haskell☆26Updated 6 months ago
- Flexible session middleware for WAI☆15Updated 4 years ago
- LaTeX sources for the Habit Programming Language Report☆24Updated 7 years ago
- used to be something more ambitious, cut scope to just a simple compiler for thesis project☆17Updated 6 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 6 years ago
- A compiler for a strongly typed, haskell-like functional language☆22Updated 7 years ago
- Wasm library for PureScript☆28Updated last year
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated last year
- A compiler from mini-STG to Wasm (**far from complete**)☆14Updated 8 years ago
- Resin: high performance variable binder and ast manipulation lib☆13Updated 6 years ago
- Type-safe tic-tac-toe using Typesafe programming in Haskell☆15Updated 8 years ago
- Encode any Aeson (JSON) value as YAML (in pure Haskell)☆12Updated last year
- A simple, easily embeddable pure-functional language with static typing and row polymorphism.☆10Updated 10 years ago
- Idris Lib to interact with the DOM and Browser API for the JavaScript backend☆40Updated 7 years ago
- A data structure for drawings☆46Updated 6 years ago
- A compiler for a simple language using llvm☆36Updated 2 years ago
- Template for Hindley-Milner based languages☆39Updated 3 years ago
- A partial binary associative operator (appendMaybe :: a → a → Maybe a)☆13Updated last year
- Edit is a monad for rewriting things.☆23Updated 5 years ago
- System POSIX bindings for Idris.☆36Updated 6 years ago