Mesabloo / diagnoseLinks
A simple library for reporting compiler/interpreter errors
☆265Updated last year
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
- 🚧 a work in progress effect system for Haskell 🚧☆131Updated 2 years ago
- agda-mode for neovim☆164Updated last month
- Compiling Agda code to readable Haskell☆190Updated last month
- Code challenges to solve with Haskell☆166Updated 4 months ago
- Standard library for linear types in Haskell.☆349Updated 2 months ago
- Haskell implemented with combinators☆576Updated this week
- The Haskell Optimization Handbook☆179Updated 5 months ago
- 😎TT☆231Updated 2 weeks ago
- Total Parser Combinators in Agda☆132Updated 3 weeks ago
- Fast parsing from bytestrings☆166Updated 2 months ago
- An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.☆434Updated 3 weeks ago
- Strongly-typed System F in Haskell☆118Updated 2 years ago
- Dependent type checker using normalisation by evaluation☆265Updated 11 months ago
- MicroC example compiler for Stephen Edward's PLT class, but in Haskell☆118Updated 4 years ago
- A categorical programming language with effects☆283Updated 2 years ago
- My slides and compilation of resources.☆155Updated 11 months ago
- A prompt engineering functional programming language☆427Updated this week
- Minimal implementations for dependent type checking and elaboration☆730Updated 2 weeks ago
- ☆127Updated 3 weeks ago
- Haskell bindings to Dear ImGui, an immediate mode GUI toolkit☆156Updated 2 months ago
- Fast and concise extensible effects☆109Updated 2 years ago
- A package index for the Haskell ecosystem☆144Updated last week
- Documentation about Haskell's dangerous functions and a hlint config file to warn about them☆183Updated 6 months ago
- A Haskell blog☆148Updated last month
- Haskell library for the Microsoft Language Server Protocol☆401Updated this week
- ☆164Updated last week
- Language Server for Idris2☆181Updated last week
- The Happy parser generator for Haskell☆309Updated last week
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆393Updated this week