mniip / discord-eval

Related projects: ⓘ

• Haskell-Chapelure / chapelure
  Chapelure is a diagnostic library for Haskell
  ☆44Updated last year
• JakobBruenker / monadic-bang
  GHC plugin to desugar ! into do-notation
  ☆37Updated 4 months ago
• typedbyte / effet
  An effect system based on type classes, written in Haskell.
  ☆44Updated 2 years ago
• ekmett / placeholder
  todo and unimplemented, robustly implemented
  ☆32Updated last week
• Bodigrim / bitvec
  Bit vectors: 8x less memory, up to 3500x faster than Vector Bool
  ☆73Updated 2 months ago
• TOTBWF / refinery
  ⛏️ A refinement proof framework for haskell
  ☆69Updated last year
• haskell-effectful / effectful-contrib
  Libraries for the Effectful Haskell effects system
  ☆21Updated 2 years ago
• chshersh / dr-cabal
  📊 Haskell dependencies build times profiler
  ☆73Updated last year
• Kleidukos / get-tested
  Go get tested! Github Actions matrix generator for your haskell projects
  ☆44Updated this week
• chshersh / ghc-plugin-non-empty
  🧬 GHC Plugin for compile-time transformation of list literals to NonEmpty list
  ☆27Updated last year
• haskell / error-messages
  ☆73Updated 2 years ago
• tfausak / witch
  Convert values from one type into another.
  ☆74Updated last week
• isovector / type-sets
  type level sets
  ☆67Updated 4 years ago
• claymager / idris2-pkgs
  An unofficial Idris2 package repository for Nix
  ☆45Updated last year
• haskell-text / text-display
  A Typeclass for user-facing output
  ☆53Updated this week
• BebeSparkelSparkel / biparsing
  Bidirectional Parsing. Work in Progress
  ☆31Updated 2 weeks ago
• j-mie6 / ParsleyHaskell
  Reimplementation of Parsley in Haskell, with improvements
  ☆49Updated 6 months ago
• Bodigrim / linear-builder
  Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.
  ☆88Updated last month
• Bodigrim / tasty-bench-fit
  Benchmark a given function for variable input sizes and find out its time complexity
  ☆25Updated 2 months ago
• maybetonyfu / chameleon
  A tool to make solving type errors in Haskell simple and fun.
  ☆36Updated last year
• WhatisRT / meta-cedille
  Minimalistic dependent type theory with syntactic metaprogramming
  ☆55Updated 3 months ago
• alhassy / AgdaCheatSheet
  Basics of the dependently-typed functional language Agda ^_^
  ☆37Updated 2 years ago
• sdiehl / cabal-edit
  A utility for managing Hackage dependencies and manipulating Cabal files from the command line.
  ☆74Updated last year
• phadej / cabal-extras
  A tool suite to aid Haskell development using `cabal-install`
  ☆80Updated 2 months ago
• Bodigrim / tasty-bench
  Featherlight benchmark framework, drop-in replacement for criterion and gauge.
  ☆80Updated last month
• haskell-works / oops
  ☆22Updated 8 months ago
• haskell / cabal-userguide
  A handy user guide for the Cabal build tool
  ☆28Updated 3 years ago
• ElderEphemera / instance-impl
  A GHC plugin for rust style impl with -XOverloadedRecordDot
  ☆19Updated 2 years ago
• konsumlamm / rrb-vector
  An implementation of a Relaxed Radix Balanced Vector in Haskell.
  ☆20Updated 3 weeks ago
• haskell-debugger / haskell-estgi-debugger
  A modern Haskell debugger
  ☆29Updated 10 months ago