zaitsev85 / message-from-space
☆34Updated last year
Related projects ⓘ
Alternatives and complementary repositories for message-from-space
- Lecture notes for teaching Haskell to those who want to read it☆55Updated 2 years ago
- a tiny tool for visualising substructual sharing in data structures 🕵️♀️☆11Updated 5 years ago
- Abstract, inspectable JSON representation of Haskell objects☆27Updated 2 years ago
- open union and open product types in Haskell☆32Updated 4 years ago
- Haskell implementation of Nanoid, secure URL-friendly unique ID generator.☆20Updated 6 years ago
- a language about nothing☆19Updated 5 years ago
- Rust implementation of Ray Tracing in One Weekend☆12Updated 4 years ago
- Wrap up Haskell tools☆15Updated 3 years ago
- All the byte bashing you didn't know you wanted in Haskell.☆21Updated 3 years ago
- A Haskell monad transformer library for data validation☆36Updated last year
- A Haskell IDE for Visual Studio Code.☆26Updated last month
- Edit is a monad for rewriting things.☆23Updated 4 years ago
- Functions for working with homogeneous JavaScript objects☆28Updated 2 years ago
- Clipboard synchronization tool☆12Updated 11 months ago
- Book: Introduction to Dependent Types with Idris☆76Updated last year
- Project Z, an initiative to build a Haskell engineering eco-system.☆25Updated 2 weeks ago
- Text generation language☆32Updated last week
- ☆23Updated 6 years ago
- Compile Dhall expressions to Cabal files☆100Updated last year
- Deep evaluation of data structures☆41Updated 2 months ago
- GraphQL Schema generation in Haskell☆17Updated 4 years ago
- Malfunction backend for Idris 2☆12Updated 3 years ago
- ☆26Updated 3 weeks ago
- High level, generic library for interrogative user interfaces in Haskell☆41Updated 3 years ago
- A functional test framework for LSP servers☆35Updated 3 years ago
- Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++☆28Updated 5 months ago
- This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.☆47Updated last month
- Idris Version Manager☆14Updated 10 months ago
- Fast parser combinator library for Haskell with two strategies (Fast acceptor and slower reporter with decent error messages)☆57Updated 4 years ago