isovector / afro-kravitz
it's a guitar jammer
☆18Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for afro-kravitz
- Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.☆23Updated 6 years ago
- An opinionated OTP framework wrapper☆26Updated 5 months ago
- The game of chess written in elm.☆23Updated last year
- Lua parser and pretty-printer☆15Updated 6 months ago
- ☆23Updated 6 years ago
- LocalStorage task adapter for Elm☆11Updated 8 years ago
- Haskell type introduction illustrated☆17Updated 7 years ago
- An error-tolerant live programming environment (my Master's thesis)☆18Updated 2 years ago
- Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++☆28Updated 5 months ago
- Bidirectional type checker for the simply typed lambda calculus☆13Updated 4 years ago
- Morte IDE☆29Updated 10 months ago
- A minimal scheme-esque language written in Elm.☆22Updated 3 years ago
- A simple text editor written in Haskell with Brick☆13Updated 5 years ago
- ☆17Updated 4 years ago
- 🌋 Idris implementation of patricia tree☆22Updated 4 years ago
- a tiny tool for visualising substructual sharing in data structures 🕵️♀️☆11Updated 5 years ago
- Work with musical concepts☆29Updated last year
- IO for Elm☆29Updated 8 years ago
- A composable abstraction over retriable transactions for Hasql☆12Updated 4 months ago
- How do build times and asset sizes change as Elm projects grow larger?☆13Updated 4 years ago
- Term Rewriting Systems☆17Updated 9 years ago
- A lazy non-deterministic concatenative programming language☆55Updated 11 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- A tiny EDSL for making slides in PureScript☆26Updated 7 years ago
- Category theory concepts in type classes and instances.☆19Updated 3 weeks ago
- ☆13Updated last week
- Cursor data and manipulation☆21Updated 11 months ago
- Hakyll wrapper for the Elm (http://elm-lang.org) compiler☆14Updated 10 years ago
- Forth clone in Haskell☆31Updated 7 years ago
- ☆13Updated 7 years ago