Mesabloo / diagnose
A simple library for reporting compiler/interpreter errors
☆260Updated 3 months ago
Related projects ⓘ
Alternatives and complementary repositories for diagnose
- Haskell implemented with combinators☆367Updated this week
- A fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome!☆361Updated last week
- An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.☆382Updated this week
- agda-mode for neovim☆134Updated 3 weeks ago
- Compiling Agda code to readable Haskell☆177Updated last month
- Standard library for linear types in Haskell.☆336Updated last week
- 🚧 a work in progress effect system for Haskell 🚧☆124Updated last year
- Trying to write an understandable implementation of Haskell, in Haskell☆120Updated 3 years ago
- The Haskell Optimization Handbook☆174Updated last month
- Code challenges to solve with Haskell☆89Updated last year
- Fake dependent types in Haskell using singletons☆287Updated 3 weeks ago
- 🕵️ Haskell STatic ANalyser☆571Updated last month
- ☆140Updated this week
- Publishes curated news about the Haskell programming language.☆142Updated this week
- Dependent type checker using normalisation by evaluation☆254Updated 2 months ago
- Optics as an abstract interface☆375Updated 3 months ago
- How I start Haskell.☆99Updated last month
- Haskell library for the Microsoft Language Server Protocol☆366Updated 3 months ago
- Minimal implementations for dependent type checking and elaboration☆619Updated 2 months ago
- Fast parsing from bytestrings☆149Updated last week
- A garden of small programming language implementations 🪴☆177Updated last week
- A community-driven collection of documentation for Haskell error messages and warnings☆102Updated 2 weeks ago
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆592Updated last month
- 🌈 Haskell CLI Framework supporting Command Line Interface Guidelines☆182Updated last year
- My slides and compilation of resources.☆148Updated 2 months ago
- Documentation about Haskell's dangerous functions and a hlint config file to warn about them☆166Updated last year
- A package index for the Haskell ecosystem☆128Updated this week
- MicroC example compiler for Stephen Edward's PLT class, but in Haskell☆116Updated 3 years ago
- A ready-to-fork interpreted functional language with type inference☆389Updated 11 months ago
- pretty-printer for Haskell data types that have a Show instance☆243Updated last year