isovector / afro-kravitz
it's a guitar jammer
☆18Updated 9 years ago
Alternatives and similar repositories for afro-kravitz:
Users that are interested in afro-kravitz are comparing it to the libraries listed below
- The game of chess written in elm.☆23Updated 2 years ago
- IO for Elm☆29Updated 9 years ago
- Work with musical concepts☆29Updated 2 years ago
- An Elm library for creating diagrams, inspired by Brent Yorgey's Diagrams library for Haskell.☆44Updated 8 years ago
- A browser Pong game, taking advantage of Idris's ability to compile to javascript.☆18Updated 10 years ago
- ☆13Updated 7 years ago
- LocalStorage task adapter for Elm☆11Updated 9 years ago
- μKanren in Elm☆43Updated 8 years ago
- ☆23Updated 7 years ago
- Visually describe Haskell/Purescript/Elm types☆105Updated 7 years ago
- a tiny tool for visualising substructual sharing in data structures 🕵️♀️☆12Updated 6 years ago
- Bidirectional type checker for the simply typed lambda calculus☆14Updated 5 years ago
- Chrome application to communicate with the Mooltipass.☆11Updated 9 years ago
- An interpreter for a minimal but Turing-complete stack based 'concatenative' language.☆19Updated 11 years ago
- Idris Lib to interact with the DOM and Browser API for the JavaScript backend☆40Updated 7 years ago
- An opinionated OTP framework wrapper☆26Updated 3 months ago
- The classical memory game with old school demoscene effects.☆29Updated 8 years ago
- An approach to user interfaces based in denotational design.☆27Updated 2 years ago
- A data structure for drawings☆46Updated 6 years ago
- A minimal scheme-esque language written in Elm.☆22Updated 4 years ago
- 🎸 Guitar Learning Game (PWA) written in Elm☆13Updated 2 weeks ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- ☆13Updated 8 years ago
- A lazy non-deterministic concatenative programming language☆55Updated 11 years ago
- Pacman implementation in Elm☆17Updated 7 years ago
- Make charts! Alpha version.☆15Updated 3 years ago
- Playing with Elm and Polymer / Web Components☆11Updated 8 years ago
- the missing haskell circuit diagram library☆13Updated 3 years ago
- Software synthesizer☆23Updated 9 years ago
- An intensely interactive, graphical theorem prover based on natural deduction☆29Updated 10 years ago