Mesabloo / diagnoseLinks
A simple library for reporting compiler/interpreter errors
☆264Updated 11 months ago
Alternatives and similar repositories for diagnose
Users that are interested in diagnose are comparing it to the libraries listed below
Sorting:
- Trying to write an understandable implementation of Haskell, in Haskell☆125Updated 4 years ago
- agda-mode for neovim☆161Updated 2 weeks ago
- Compiling Agda code to readable Haskell☆190Updated last week
- 🚧 a work in progress effect system for Haskell 🚧☆131Updated last year
- Haskell implemented with combinators☆561Updated this week
- The Haskell Optimization Handbook☆179Updated 4 months ago
- 😎TT☆231Updated last year
- Standard library for linear types in Haskell.☆347Updated last month
- Code challenges to solve with Haskell☆160Updated 3 months ago
- Total Parser Combinators in Agda☆132Updated this week
- Dependent type checker using normalisation by evaluation☆264Updated 11 months ago
- Minimal implementations for dependent type checking and elaboration☆690Updated 2 months ago
- My slides and compilation of resources.☆154Updated 11 months ago
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆387Updated this week
- Fast parsing from bytestrings☆165Updated last month
- Strongly-typed System F in Haskell☆118Updated 2 years ago
- A garden of small programming language implementations 🪴☆276Updated this week
- An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.☆433Updated this week
- A categorical programming language with effects☆282Updated 2 years ago
- A Haskell blog☆146Updated 3 weeks ago
- A prompt engineering functional programming language☆416Updated last week
- Documentation about Haskell's dangerous functions and a hlint config file to warn about them☆181Updated 5 months ago
- The Happy parser generator for Haskell☆308Updated 3 weeks ago
- MicroC example compiler for Stephen Edward's PLT class, but in Haskell☆118Updated 4 years ago
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆627Updated 3 months ago
- Fast and concise extensible effects☆109Updated 2 years ago
- Optics as an abstract interface☆384Updated last week
- ☆125Updated 5 months ago
- GHC Whole Program Compiler and External STG IR tooling☆118Updated 8 months ago
- Haskell library for the Microsoft Language Server Protocol☆397Updated 3 weeks ago