☆40Jul 1, 2018Updated 7 years ago
Alternatives and similar repositories for auth
Users that are interested in auth are comparing it to the libraries listed below
Sorting:
- Succinct binary serialization☆15Aug 26, 2018Updated 7 years ago
- ☆12Jul 8, 2021Updated 4 years ago
- Manage Nix Haskell override sets☆11Sep 30, 2018Updated 7 years ago
- Edit is a monad for rewriting things.☆23Sep 9, 2020Updated 5 years ago
- Church-encoding of the Freer monad☆28Oct 27, 2016Updated 9 years ago
- ScopeT and ScopeH☆13Aug 3, 2024Updated last year
- Systematic concurrency testing meets Haskell.☆197Jan 13, 2026Updated last month
- A Haskell code formatter using prettyprinter and the GHC API☆24Oct 7, 2018Updated 7 years ago
- Austin's supercompiler work☆21Nov 17, 2019Updated 6 years ago
- The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)☆15Feb 15, 2018Updated 8 years ago
- Run HLint as part of normal compilation☆47Aug 11, 2018Updated 7 years ago
- Library to integrate eta wai applications with servlet api☆18Jan 9, 2019Updated 7 years ago
- Fast unboxed references for ST and IO monad☆15Jul 17, 2017Updated 8 years ago
- LibSSH2 FFI bindings for Haskell☆26Apr 3, 2025Updated 10 months ago
- KU Leuven Haskell Compiler☆15Aug 16, 2021Updated 4 years ago
- Efficient implementation of the implicit treap data structure☆63Aug 2, 2021Updated 4 years ago
- Hopefully verifiable code generation in GHC☆94May 10, 2017Updated 8 years ago
- Lambda Calculus with quote and unquote☆19Jun 29, 2020Updated 5 years ago
- "Fail Fast" process management for Haskell; inspired by Erlang☆16Jan 19, 2017Updated 9 years ago
- Parse and validate forms in JSON format☆38Feb 2, 2026Updated last month
- Unpacked containers using backpack☆52Apr 26, 2020Updated 5 years ago
- Generate nix expressions for Haskell projects☆100Jul 12, 2021Updated 4 years ago
- haskell memory☆49Aug 14, 2023Updated 2 years ago
- A fast open-union type, suitable for 100+ contained alternatives.☆100Apr 28, 2024Updated last year
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Jan 28, 2018Updated 8 years ago
- Haskell library to interface with the nix package manager☆25Nov 23, 2021Updated 4 years ago
- Simplify and render Template Haskell☆18Aug 19, 2018Updated 7 years ago
- A convenient DSL for describing web routes☆42Nov 21, 2020Updated 5 years ago
- A language experiment -- irc.freenode.net ##coda☆163Apr 10, 2024Updated last year
- Cloud Haskell Supervision Trees☆11Sep 3, 2024Updated last year
- Library implementation of "Generic description of well-scoped, well-typed syntaxes"☆12Mar 25, 2018Updated 7 years ago
- Example how to append data to a Haskell executable using sqlite☆10Mar 16, 2020Updated 5 years ago
- Connecting vinyl records to the wider ecosystem through Generics☆12Feb 19, 2019Updated 7 years ago
- static analysis of free monads☆24Jul 10, 2018Updated 7 years ago
- Haskell: Supercharged anonymous records☆83Nov 12, 2022Updated 3 years ago
- Types and kinds for basic type-level programming☆65Sep 28, 2024Updated last year
- Composable, streaming, and efficient left folds☆168Jan 9, 2026Updated last month
- Get all your structure and rip it apart.☆33Oct 21, 2018Updated 7 years ago
- Search Haskell source code from the command line☆75Aug 20, 2020Updated 5 years ago