mniip / discord-evalLinks
A discord frontend for an interactive interpreter bot
☆22Updated last year
Alternatives and similar repositories for discord-eval
Users that are interested in discord-eval are comparing it to the libraries listed below
Sorting:
- Chapelure is a diagnostic library for Haskell☆45Updated last year
- ☆72Updated 2 years ago
- GHC plugin to desugar ! into do-notation☆37Updated 3 months ago
- ⛏️ A refinement proof framework for haskell☆69Updated 2 years ago
- Bit vectors: 8x less memory, up to 3500x faster than Vector Bool☆72Updated last week
- ☆19Updated last month
- An unofficial Idris2 package repository for Nix☆46Updated 2 years ago
- 👅 Parse Haskell Language Extensions☆48Updated last week
- Go get tested! Github Actions matrix generator for your haskell projects' CI☆50Updated 2 months ago
- Reimplementation of Parsley in Haskell, with improvements☆56Updated last year
- Featherlight benchmark framework, drop-in replacement for criterion and gauge.☆81Updated last month
- A utility for managing Hackage dependencies and manipulating Cabal files from the command line.☆77Updated 2 years ago
- 📊 Haskell dependencies build times profiler☆73Updated 2 years ago
- Convert values from one type into another.☆76Updated 2 weeks ago
- Normalise GHC.TypeLits.Nat equations☆43Updated last month
- ☆22Updated 6 months ago
- Fast equality saturation in Haskell☆84Updated 3 months ago
- A tutorial on writing Haskell Language Server plugins☆70Updated 4 years ago
- Algebraic effects in the Bluefin effect system☆17Updated last year
- type level sets☆67Updated 5 years ago
- Fine-grained lattice primitives for Haskell☆37Updated last month
- todo and unimplemented, robustly implemented☆36Updated 8 months ago
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.☆94Updated this week
- Recover run-time type information from the GHC heap. One example use case is a "show anything" function (with no Show constraint).☆35Updated 2 months ago
- Painless 2D vector graphics, animations, and simulations powered by GLFW (Fork of gloss)☆38Updated last week
- Format Haskell package descriptions.☆52Updated 2 weeks ago
- ☆36Updated 4 months ago
- An implementation of a Relaxed Radix Balanced Vector in Haskell.☆26Updated 3 months ago
- A tool suite to aid Haskell development using `cabal-install`☆86Updated last week
- Hypertypes - generic programming for heterogeneous recursive types☆122Updated 4 months ago