google / btls
BoringSSL-backed TLS and cryptography library for Haskell
☆16Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for btls
- ☆10Updated 3 years ago
- Haskell Bazel rules and cabal2bazel import tool.☆42Updated 3 years ago
- A partial implementation of Protocol Buffers in Idris☆30Updated 7 years ago
- Desugars Template Haskell abstract syntax to a simpler format without changing semantics☆20Updated 3 weeks ago
- used to be something more ambitious, cut scope to just a simple compiler for thesis project☆18Updated 5 years ago
- GHCJS runtime system and JavaScript support code for packages - deprecated as of GHC 8.2☆21Updated 5 years ago
- An llvm pretty printer inspired by the haskell llvm binding☆28Updated last month
- Computing lenses generically using generics-sop☆15Updated 3 weeks ago
- Contains the system-filepath and system-fileio packages☆9Updated last week
- fast utf-8 character sets☆13Updated 3 weeks ago
- This is a fork of https://github.com/tweag/ormolu.☆13Updated last year
- Types representing line and column positions and ranges in text files☆11Updated last year
- systemd socket activation library for Haskell☆15Updated 4 years ago
- Austin's supercompiler work☆21Updated 5 years ago
- A human readable style for binary data.☆11Updated 4 years ago
- A monad transformer and corresponding type class for computations which consume random values.☆31Updated last month
- A Haskell library implementing several Paxos-related algorithms☆25Updated 11 years ago
- Dependent hash maps☆14Updated 5 months ago
- A concurrency framework for the Ivory language☆43Updated 5 years ago
- BibTeX database management in Idris☆18Updated 10 years ago
- Fast serialization in haskell☆15Updated 4 years ago
- Raft distributed consensus over HTTP☆7Updated 4 years ago
- Minimal binary serialization library with focus on performance☆17Updated 3 years ago
- A cross-platform, cross-console way to handle echoing terminal input☆10Updated 3 years ago
- Fixed length vector for haskell☆21Updated last week
- Common lower-level functions needed by various streaming data libraries☆36Updated last year
- ☆20Updated 5 years ago
- A Haskell library for parsing, pretty-printing, and evaluating the Ninja build language.☆34Updated 6 years ago
- Robust prettyprinter for output of auto-generated Show instances☆18Updated 4 years ago
- Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.☆27Updated 3 weeks ago