isovector / afro-kravitz
it's a guitar jammer
☆18Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for afro-kravitz
- An opinionated OTP framework wrapper☆26Updated 5 months ago
- ☆23Updated 6 years ago
- Advent of Code 2016, in Haskell☆15Updated 7 years ago
- Lua parser and pretty-printer☆15Updated 6 months ago
- Term Rewriting Systems☆17Updated 9 years ago
- Used libraries: llvm-general, llvm-general-pure - 3.4.2-1; llvm version: 3.4.2-1; Based on http://www.stephendiehl.com/llvm/ solution.☆7Updated 9 years ago
- LocalStorage task adapter for Elm☆11Updated 8 years ago
- Safely running potentially non-terminating functions in Elm.☆10Updated 3 years ago
- Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.☆23Updated 6 years ago
- Erlang BEAM emulator in Haskell☆48Updated 10 years ago
- ☆13Updated 8 years ago
- A simple text editor written in Haskell with Brick☆13Updated 5 years ago
- A browser Pong game, taking advantage of Idris's ability to compile to javascript.☆18Updated 10 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆34Updated 3 weeks ago
- A simple build system for Idris☆22Updated 3 years ago
- Bidirectional type checker for the simply typed lambda calculus☆13Updated 4 years ago
- Write type-safe shell scripts in Haskell☆14Updated 4 years ago
- The game of chess written in elm.☆23Updated last year
- Morte IDE☆29Updated 10 months ago
- 🌋 Idris implementation of patricia tree☆22Updated 4 years ago
- Chrome application to communicate with the Mooltipass.☆11Updated 9 years ago
- IO for Elm☆29Updated 8 years ago
- ☆13Updated 7 years ago
- Your happy place for learning APL☆16Updated last year
- Work with musical concepts☆29Updated last year
- Port of Shen to run on top of Wasp Lisp☆25Updated 2 years ago
- A bitmap font for the Mogee game☆10Updated 6 months ago