google / btls
BoringSSL-backed TLS and cryptography library for Haskell
☆16Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for btls
- Haskell Bazel rules and cabal2bazel import tool.☆42Updated 3 years ago
- ☆10Updated 2 years ago
- This is a fork of https://github.com/tweag/ormolu.☆13Updated last year
- A partial implementation of Protocol Buffers in Idris☆30Updated 7 years ago
- An llvm pretty printer inspired by the haskell llvm binding☆28Updated last month
- GHCJS runtime system and JavaScript support code for packages - deprecated as of GHC 8.2☆21Updated 5 years ago
- Common lower-level functions needed by various streaming data libraries☆36Updated last year
- Interactive development for Bazel/Haskell rules☆49Updated 3 years ago
- Operations for sequentially ordered types☆10Updated 2 years ago
- A human readable style for binary data.☆11Updated 4 years ago
- Contains the system-filepath and system-fileio packages☆9Updated last year
- Bindings to the Zstandard library to make it usable from the Haskell programming language.☆45Updated 7 years ago
- Reading, writing and manipulating ".tar" archive files.☆40Updated last month
- Fast time library☆21Updated 2 weeks ago
- A Haskell library for building JSON-RPC servers (work in progress), with servers for Cryptol and SAW☆15Updated last month
- Desugars Template Haskell abstract syntax to a simpler format without changing semantics☆20Updated 2 weeks ago
- Functions for working with PureScripts 'Number' type☆13Updated last year
- generalize counter-examples of property-based testing☆13Updated 9 months ago
- ☆44Updated last month
- Raft distributed consensus over HTTP☆7Updated 4 years ago
- systemd socket activation library for Haskell☆15Updated 4 years ago
- Emits code crossreference data for Haskell sources.☆99Updated 4 years ago
- URI manipulation facilities☆25Updated 2 months ago
- used to be something more ambitious, cut scope to just a simple compiler for thesis project☆18Updated 5 years ago
- Minimal binary serialization library with focus on performance☆17Updated 3 years ago
- Write type-safe shell scripts in Haskell☆14Updated 4 years ago
- A monad transformer and corresponding type class for computations which consume random values.☆31Updated 3 weeks ago
- The Wadler/Leijen Pretty Printer for colored ANSI terminal output☆9Updated last year
- Library for generating Haskell source files and code fragments.☆91Updated last week
- A small, efficient and portable regex library for Perl 5 compatible regular expressions☆15Updated last year