ekmett / placeholder
todo and unimplemented, robustly implemented
☆33Updated 8 months ago
Alternatives and similar repositories for placeholder
Users that are interested in placeholder are comparing it to the libraries listed below
Sorting:
- Algebraic effects in the Bluefin effect system☆16Updated last year
- Go get tested! Github Actions matrix generator for your haskell projects' CI☆50Updated last month
- ☆19Updated last week
- Libraries for the Effectful Haskell effects system☆22Updated 3 years ago
- Chapelure is a diagnostic library for Haskell☆45Updated last year
- GHC plugin to desugar ! into do-notation☆37Updated 2 months ago
- A Terminal User Interface for the Glasgow Haskell Compiler Interactive Mode☆56Updated 5 months ago
- Benchmark a given function for variable input sizes and find out its time complexity☆25Updated 2 months ago
- Automatically generate Haskell bindings from C header files☆45Updated this week
- An effect system based on type classes, written in Haskell.☆44Updated 3 years ago
- 📊 Haskell dependencies build times profiler☆73Updated 2 years ago
- An implementation of a Relaxed Radix Balanced Vector in Haskell.☆26Updated 2 months ago
- Convert values from one type into another.☆77Updated 2 weeks ago
- A Typeclass for user-facing output☆56Updated last month
- An interface for GHC type-checking plugins☆20Updated 5 months ago
- A GHC plugin for rust style impl with -XOverloadedRecordDot☆19Updated 3 years ago
- ⛏️ A refinement proof framework for haskell☆69Updated 2 years ago
- ☆44Updated last month
- Extend Cabal build-depends from the command line☆57Updated 2 months ago
- Composable Concurrent Computation Done Right☆30Updated 2 years ago
- Experiments about running Haskell via WebAssembly on Fastly☆40Updated 2 years ago
- 📺 The power of Haskell in your terminal!☆42Updated last month
- Haskell wrapper for iced☆33Updated last month
- Implementation of an efficient thread-safe global Symbol Table, with garbage collection☆19Updated 2 months ago
- Source material for Certainty by Construction☆41Updated last year
- Normalise GHC.TypeLits.Nat equations☆43Updated 2 weeks ago
- Require that callers propagate `HasCallStack` constraints☆21Updated 4 months ago
- GHC plugin to branch on whether a constraint is satisfied☆33Updated last month
- Low-overhead effect management for concrete monads☆37Updated 3 years ago
- 🧬 GHC Plugin for compile-time transformation of list literals to NonEmpty list☆27Updated 2 years ago