mniip / discord-evalLinks
A discord frontend for an interactive interpreter bot
☆22Updated 5 months ago
Alternatives and similar repositories for discord-eval
Users that are interested in discord-eval are comparing it to the libraries listed below
Sorting:
- A higher-order effect system where the sky's the limit☆91Updated 3 years ago
- Hypertypes - generic programming for heterogeneous recursive types☆125Updated last year
- A tutorial on writing Haskell Language Server plugins☆70Updated 5 years ago
- A collection of Haskell's WATs☆94Updated 11 months ago
- Reimplementation of Parsley in Haskell, with improvements☆60Updated 2 months ago
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005☆84Updated 4 years ago
- ⛏️ A refinement proof framework for haskell☆70Updated 2 years ago
- A community-driven collection of documentation for Haskell error messages and warnings☆106Updated last week
- GHC Whole Program Compiler and External STG IR tooling☆120Updated 2 months ago
- 🚧 a work in progress effect system for Haskell 🚧☆139Updated 2 years ago
- Fast parsing from bytestrings☆173Updated 3 months ago
- ☆106Updated 2 weeks ago
- ⚡️Efficient implementation of Map with types as keys☆102Updated this week
- Visual tool to spot odd runtime behaviour of Haskell programs.☆109Updated 4 years ago
- A re-implementation of weeder using HIE files☆184Updated 3 weeks ago
- Total Parser Combinators in Agda☆132Updated 5 months ago
- Fast and concise extensible effects☆109Updated 2 years ago
- A utility for managing Hackage dependencies and manipulating Cabal files from the command line.☆77Updated 2 years ago
- Bit vectors: 8x less memory, up to 3500x faster than Vector Bool☆76Updated 3 weeks ago
- Experimental, user-contributed effects and interpreters for polysemy☆72Updated 2 years ago
- Libraries for the Effectful Haskell effects system☆23Updated 3 years ago
- being the teaching materials and exercises for CS410 in the 2018/19 session☆57Updated 6 years ago
- ☆76Updated 3 years ago
- Standard containers, with keys that carry type-level proofs of their own presence.☆81Updated 5 years ago
- Comparing Haskell effect systems for ergonomics and speed☆66Updated 4 years ago
- Chapelure is a diagnostic library for Haskell☆46Updated 2 years ago
- NullPointerExceptions in Haskell☆58Updated 8 years ago
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.☆98Updated 3 weeks ago
- A package index for the Haskell ecosystem☆148Updated this week
- A modern step-through debugger for GHC Haskell☆105Updated this week