limeburst / cadet
Keyboard controller written in Ivory
☆10Updated 7 years ago
Related projects: ⓘ
- Haskell library for encoding-free interaction with Unix system. Use RawFilePath (ByteString) instead of FilePath (String)☆17Updated last month
- A compiler from mini-STG to Wasm (**far from complete**)☆14Updated 7 years ago
- More strongly typed variant of the ixset Haskell package☆23Updated last month
- Implementation of semver and NPM-style semantic version ranges in Haskell☆12Updated 4 years ago
- phantom types☆37Updated 6 months ago
- abstraction for auto scrubbing and const time Eq, memory chunk☆17Updated 4 years ago
- A compiler for a strongly typed, haskell-like functional language☆22Updated 6 years ago
- Source location helpers☆9Updated 8 years ago
- A very simple tar archive processing library☆11Updated 7 years ago
- A natural transformation package☆16Updated 11 months ago
- Haskell reimplementation of Selecta☆16Updated 5 years ago
- Sift through Haskell code for analysis purposes☆18Updated 6 years ago
- Robust persistence for typed immutable data☆18Updated 7 years ago
- Term Rewriting Systems☆17Updated 8 years ago
- GRIN Haskell backend stripped out from JHC. (GRIN from scratch: https://github.com/grin-tech/grin)☆16Updated 5 years ago
- A constant-memory approximation of set membership☆24Updated 2 months ago
- types and functions bridge between foundation and the actual ecosystem (text, vector, bytestring, ...☆18Updated 7 years ago
- Modified versions of Cabal & Haddock for rendering Annotated HTML with Mouseover Types.☆12Updated 8 years ago
- A cross-platform, cross-console way to handle echoing terminal input☆10Updated 3 years ago
- Types representing line and column positions and ranges in text files☆11Updated last year
- Haskell routes using dependent types☆10Updated 8 years ago
- Abstactions and concrete implementations of mutable containers☆14Updated 8 years ago
- SPAKE2 key exchange protocol for Haskell☆14Updated last year
- ☆20Updated this week
- Web frontend for GHC☆12Updated 4 years ago
- A concurrent mutable ring-buffer☆12Updated 6 years ago
- Exhaustiveness and redundancy analysis for Haskell pattern matching☆12Updated 7 years ago
- The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)☆15Updated 6 years ago
- 📶 - Elm style FRP library for Haskell☆16Updated 6 years ago
- Executable examples for Elerea.☆18Updated 8 years ago