fumieval / webauthn
Haskell implementation of the server-side verifier for Web Authentication API
☆15Updated 3 years ago
Alternatives and similar repositories for webauthn:
Users that are interested in webauthn are comparing it to the libraries listed below
- A library for generic programming that aims to be easy to understand☆26Updated last week
- high-level stream sockets in haskell☆17Updated last year
- Experimental implementation of generic record subtyping☆18Updated 10 months ago
- Maps using values' monoidal structure during merging☆42Updated 3 months ago
- Haskell URI parsing as ByteStrings☆35Updated 2 months ago
- A tool to fill in the version ranges in a cabal file.☆17Updated 9 years ago
- Derive KnownNat constraints from other KnownNat constraints☆14Updated 3 weeks ago
- Proposals for the Haskell Ecosystem☆51Updated 6 years ago
- Modular arithmetic, promoting moduli to the type level☆24Updated 2 months ago
- A haskell library providing Word128 and Int128 types☆19Updated 3 weeks ago
- Fast ByteString Builder☆21Updated last month
- Safe, checked exceptions☆13Updated 6 years ago
- ☆25Updated last year
- Massive Hackage CI for building Hackage package versions against multiple GHC versions☆24Updated 3 years ago
- haskell library to parse commandline args - an alternative to optparse-applicative☆19Updated last year
- parser for config files, shell variables, command line args.☆22Updated 8 years ago
- Servant authentication with HMAC☆16Updated 4 months ago
- Pipe the GHC eventlog stream to a UNIX domain socket☆16Updated last year
- make analogue for higher kinded data☆8Updated 3 years ago
- ☆21Updated 2 years ago
- Color highlighting for Haskell profiling information☆40Updated 3 years ago
- Operation Vanguard: fixing a number of Haskell packages at once☆11Updated 5 years ago
- Library and tool for parsing .eventlog files from GHC☆33Updated 3 weeks ago
- ☆31Updated 3 years ago
- Haskell library of row polymorphic record manipulator☆19Updated 4 years ago
- Conversion between different types☆19Updated last year
- Example repository setup that deploys GHCJS programs to GitHub Pages☆24Updated 6 years ago
- Template Haskell for generating ToJSON and FromJSON instances for GADTs☆22Updated 2 months ago
- Efficient non-empty variants of containers data types, with full API☆26Updated 8 months ago
- Conduit interface for cassava [Haskell]☆15Updated last year