☆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
- Austin's supercompiler work☆21Nov 17, 2019Updated 6 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
- The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)☆15Feb 15, 2018Updated 8 years ago
- A Haskell code formatter using prettyprinter and the GHC API☆24Oct 7, 2018Updated 7 years ago
- ScopeT and ScopeH☆13Aug 3, 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
- Lambda Calculus with quote and unquote☆19Jun 29, 2020Updated 5 years ago
- KU Leuven Haskell Compiler☆15Aug 16, 2021Updated 4 years ago
- Library to integrate eta wai applications with servlet api☆18Jan 9, 2019Updated 7 years ago
- Systematic concurrency testing meets Haskell.☆197Jan 13, 2026Updated 2 months ago
- LibSSH2 FFI bindings for Haskell☆26Apr 3, 2025Updated 11 months ago
- A convenient DSL for describing web routes☆42Nov 21, 2020Updated 5 years ago
- Run HLint as part of normal compilation☆47Aug 11, 2018Updated 7 years ago
- Fast unboxed references for ST and IO monad☆15Jul 17, 2017Updated 8 years ago
- Efficient implementation of the implicit treap data structure☆63Aug 2, 2021Updated 4 years ago
- Types and kinds for basic type-level programming☆65Sep 28, 2024Updated last year
- Connecting vinyl records to the wider ecosystem through Generics☆12Feb 19, 2019Updated 7 years ago
- Parse and validate forms in JSON format☆38Feb 2, 2026Updated last month
- Generate nix expressions for Haskell projects☆100Jul 12, 2021Updated 4 years ago
- "Fail Fast" process management for Haskell; inspired by Erlang☆16Jan 19, 2017Updated 9 years ago
- Hopefully verifiable code generation in GHC☆93May 10, 2017Updated 8 years ago
- Library implementation of "Generic description of well-scoped, well-typed syntaxes"☆12Mar 25, 2018Updated 7 years ago
- static analysis of free monads☆24Jul 10, 2018Updated 7 years ago
- Bring fusion to everyone☆14Feb 6, 2020Updated 6 years ago
- GHC patched with the -fcompact-holes flag☆11Nov 12, 2018Updated 7 years ago
- Leave delicious breadcrumbs to make your errors easier to understand.☆37Mar 17, 2018Updated 8 years ago
- Get all your structure and rip it apart.☆33Oct 21, 2018Updated 7 years ago
- Hash consing for arbitrary Haskell data types☆25Dec 4, 2024Updated last year
- Label dependent dependent session types☆16May 2, 2024Updated last year
- Haskell implementation of the Nix store☆95Nov 18, 2025Updated 4 months ago
- Simplify and render Template Haskell☆18Aug 19, 2018Updated 7 years ago
- Haskell: Supercharged anonymous records☆83Nov 12, 2022Updated 3 years ago
- Building self-contained (offline-only) Haskell program tarballs; only Stack+GHC needed☆10Jun 8, 2017Updated 8 years ago
- A language experiment -- irc.freenode.net ##coda☆162Apr 10, 2024Updated last year