1Jajen1 / BrokkrLinks
Libraries and server implementation for the game Minecraft
☆13Updated last year
Alternatives and similar repositories for Brokkr
Users that are interested in Brokkr are comparing it to the libraries listed below
Sorting:
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.☆97Updated 3 months ago
- Haskell implementation of the QOI image format☆17Updated 2 years ago
- ☆18Updated last year
- GHC plugin to desugar ! into do-notation☆38Updated 9 months ago
- Duo - A research language exploring duality in programming language design☆61Updated 2 years ago
- Staged push/pull fusion with typed Template Haskell☆62Updated last year
- ☆26Updated 3 years ago
- Dump the declarations of Haskell modules☆18Updated 3 weeks ago
- experimenting with unlifted classes via backpack☆36Updated 3 years ago
- An interactive fiction (text adventure) library in Haskell, inspired by Inform7.☆20Updated this week
- Eventually a practical 2-level TT-based compiler☆29Updated this week
- Lambda normalization and conversion checking benchmarks for various implementations☆59Updated 4 years ago
- You've heard of the SKI combinators... How about the 🙊🙉🙊 combinators?☆35Updated 4 years ago
- Benchmark a given function for variable input sizes and find out its time complexity☆25Updated 9 months ago
- Monomorphize polymorphic functions for testing☆36Updated 8 years ago
- Chapelure is a diagnostic library for Haskell☆46Updated 2 years ago
- Type-safe WebAssembly eDSL in Haskell☆28Updated last year
- ☆36Updated 4 years ago
- A Haskell roguelike toolkit☆12Updated 5 months ago
- ☆64Updated 3 years ago
- Haskell wrapper for iced☆36Updated 6 months ago
- musl libc experiment☆12Updated 6 years ago
- Example uses of linear types☆43Updated 5 years ago
- An interface for GHC type-checking plugins☆21Updated 2 months ago
- ☆76Updated 3 years ago
- A Haskell client library for the Buttplug Sex Toy Control System (https://buttplug.io/). Contributions Welcome!☆26Updated 2 years ago
- Automatically generate Haskell bindings from C header files☆61Updated this week
- Inspecting tool for GHC compilation pipeline☆34Updated 2 months ago
- GHC plugin to branch on whether a constraint is satisfied☆33Updated 4 months ago
- Prototype implementations of systems based on setoid type theory☆65Updated 5 years ago