mstksg / advent-of-code-2021Links
π
πβοΈβοΈππ
β45Updated 8 months ago
Alternatives and similar repositories for advent-of-code-2021
Users that are interested in advent-of-code-2021 are comparing it to the libraries listed below
Sorting:
- π§ a work in progress effect system for Haskell π§β131Updated last year
- Strongly-typed System F in Haskellβ118Updated 2 years ago
- Named parameters (keyword arguments) for Haskellβ96Updated 4 months ago
- A re-implementation of weeder using HIE filesβ177Updated last week
- Fast and concise extensible effectsβ109Updated 2 years ago
- π πβοΈβοΈππβ99Updated 8 months ago
- Hypertypes - generic programming for heterogeneous recursive typesβ125Updated 6 months ago
- Visual tool to spot odd runtime behaviour of Haskell programs.β109Updated 3 years ago
- β118Updated last week
- Inspection Testing for Haskellβ177Updated last month
- Convert values from one type into another.β76Updated 2 months ago
- Fast parsing from bytestringsβ165Updated last month
- Maintenance of the pointfree Hackage package.β146Updated 9 months ago
- Standard containers, with keys that carry type-level proofs of their own presence.β81Updated 5 years ago
- Best practices on how to be efficient with Haskell in productionβ97Updated last year
- β49Updated 5 years ago
- βοΈ A refinement proof framework for haskellβ70Updated 2 years ago
- A Haskell blogβ146Updated 3 weeks ago
- Active streaming declarative programmers. See who's online at the following URL:β67Updated last month
- LLVM code generation in Haskellβ54Updated 9 months ago
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.β95Updated 2 months ago
- β‘οΈEfficient implementation of Map with types as keysβ101Updated last year
- New formatting libraryβ58Updated 3 years ago
- λλλλ Lennart Augustsson's Ξ»-calculus cooked four waysβ53Updated 8 years ago
- Show Haskell type annotations when doing code review on Githubβ142Updated 4 years ago
- Documentation about Haskell's dangerous functions and a hlint config file to warn about themβ181Updated 5 months ago
- π Bidirectional TOML serializationβ128Updated this week
- Repository accompanying the ZuriHac Advanced Track lecture on Datatype-Generic Programmingβ44Updated 5 years ago
- The Helium compiler, Helium-as-a-library, and the texthint interpreterβ96Updated 8 months ago
- Find your open-soulmate <π>β75Updated 3 years ago