A simple library for reporting compiler/interpreter errors
☆272Aug 11, 2024Updated 2 years ago
Alternatives and similar repositories for diagnose
Users that are interested in diagnose are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The compiler for N⋆, a statically typed assembly language used as a compiler backend for Zilch☆32May 27, 2023Updated 3 years ago
- Chapelure is a diagnostic library for Haskell☆45Jun 12, 2023Updated 3 years ago
- Fast equality saturation in Haskell☆99Mar 9, 2026Updated 7 months ago
- 🕵️ Haskell STatic ANalyser☆596Oct 16, 2026Updated 2 weeks ago
- 📊 Haskell dependencies build times profiler☆75Jan 10, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Build system☆139Oct 24, 2025Updated last year
- A re-implementation of weeder using HIE files☆193Sep 15, 2026Updated last month
- LLVM code generation in Haskell☆55Oct 30, 2024Updated 2 years ago
- Machinery for throwing and catching exceptions with some annotation.☆35Apr 11, 2025Updated last year
- Douki-next (同期『ネクスト』) is a synchronization software for anilist and myanimelist.☆10May 28, 2021Updated 5 years ago
- A statically-typed, low-level, functional programming language with some focus on runtime performance☆33May 28, 2023Updated 3 years ago
- Fast parsing from bytestrings☆182Sep 23, 2026Updated last month
- Composable Concurrent Computation Done Right☆30Jan 3, 2023Updated 3 years ago
- A modern, extensible and well-documented prettyprinter.☆309Sep 10, 2026Updated last month
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A structured concurrency library☆92Feb 23, 2026Updated 8 months ago
- An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.☆487Oct 13, 2026Updated 2 weeks ago
- Paso is a meta and functional programming language with a strong static inferred and iso-polymorphic type system☆28Aug 5, 2022Updated 4 years ago
- Generic data types in Haskell, utilities for GHC.Generics☆47Jun 24, 2026Updated 4 months ago
- Minimal implementations for dependent type checking and elaboration☆807Jan 30, 2026Updated 9 months ago
- A prompt engineering functional programming language☆623Aug 31, 2026Updated 2 months ago
- ☆52Jul 1, 2026Updated 4 months ago
- Nihil, a statically typed interpreted functional programming language☆70Apr 5, 2021Updated 5 years ago
- Dependent type checker using normalisation by evaluation☆277Sep 5, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Haskell implemented with combinators☆804Updated this week
- Source code error pretty printing☆50Dec 10, 2024Updated last year
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.☆102Sep 26, 2026Updated last month
- self(auto)- documenting encoders and decoders☆136Updated this week
- Match compilation algorithm in OCaml☆38Feb 24, 2025Updated last year
- Hypertypes - generic programming for heterogeneous recursive types☆126Aug 27, 2026Updated 2 months ago
- Inspection Testing for Haskell☆192Jan 17, 2026Updated 9 months ago
- Types for ldtk☆16Apr 13, 2024Updated 2 years ago
- ☆193Aug 17, 2026Updated 2 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Type-safe WebAssembly eDSL in Haskell☆28Oct 20, 2024Updated 2 years ago
- 🎭 Actor library for Haskell☆29Feb 16, 2023Updated 3 years ago
- Example language server (LSP) implementation for a toy language☆60Jul 21, 2021Updated 5 years ago
- Higher-kinded data via generics☆171Aug 20, 2024Updated 2 years ago
- A fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome!☆465Oct 4, 2026Updated 3 weeks ago
- Experiments using a bidirectional typesystem☆17Jan 30, 2022Updated 4 years ago
- Trying to write an understandable implementation of Haskell, in Haskell☆127Feb 7, 2021Updated 5 years ago