google / btls
BoringSSL-backed TLS and cryptography library for Haskell
☆15Updated 6 years ago
Alternatives and similar repositories for btls:
Users that are interested in btls are comparing it to the libraries listed below
- ☆10Updated 3 years ago
- Haskell Bazel rules and cabal2bazel import tool.☆42Updated 3 years ago
- A partial implementation of Protocol Buffers in Idris☆31Updated 7 years ago
- This is a fork of https://github.com/tweag/ormolu.☆13Updated last year
- Reading, writing and manipulating ".tar" archive files.☆40Updated last month
- A Haskell library for building JSON-RPC servers (work in progress), with servers for Cryptol and SAW☆15Updated 5 months ago
- GHCJS runtime system and JavaScript support code for packages - deprecated as of GHC 8.2☆20Updated 5 years ago
- Interactive development for Bazel/Haskell rules☆49Updated 3 years ago
- Minimal binary serialization library with focus on performance☆17Updated 4 years ago
- A concurrency framework for the Ivory language☆43Updated 5 years ago
- Benchmarks using the non-moving incremental GHC garbage collector☆22Updated 5 years ago
- Haskell library for glob matching☆25Updated 3 years ago
- An llvm pretty printer inspired by the haskell llvm binding☆29Updated 2 months ago
- Operations for sequentially ordered types☆10Updated 2 years ago
- Haskell RSA Library☆20Updated 3 years ago
- Library for generating Haskell source files and code fragments.☆94Updated 2 months ago
- Deep evaluation of data structures☆41Updated 5 months ago
- A human readable style for binary data.☆11Updated 5 years ago
- LambdaCube 3D intermediate representation of 3D graphics pipelines. See:☆8Updated last year
- Desugars Template Haskell abstract syntax to a simpler format without changing semantics☆20Updated 2 months ago
- used to be something more ambitious, cut scope to just a simple compiler for thesis project☆17Updated 6 years ago
- URI manipulation facilities☆25Updated this week
- The implementation of tic-tac-toe using an operadic comonad☆11Updated 3 years ago
- Reverse proxy HTTP requests, either over raw sockets or with WAI☆55Updated 7 months ago
- JSON pretty-printing library and command-line tool.☆64Updated 10 months ago
- A typechecker for WebAssembly, written in Agda (WIP)☆17Updated 6 years ago
- Library and macros to simplify writing Haskell FFI code☆39Updated 2 years ago
- Bindings to the Zstandard library to make it usable from the Haskell programming language.☆45Updated 8 years ago
- Haskell portable POSIX-compatibility layer☆21Updated 2 years ago
- A Haskell library for parsing, pretty-printing, and evaluating the Ninja build language.☆35Updated 7 years ago