google / btlsLinks
BoringSSL-backed TLS and cryptography library for Haskell
☆15Updated 7 years ago
Alternatives and similar repositories for btls
Users that are interested in btls are comparing it to the libraries listed below
Sorting:
- Haskell Bazel rules and cabal2bazel import tool.☆42Updated 4 years ago
- This is a fork of https://github.com/tweag/ormolu.☆13Updated 2 years ago
- Emits code crossreference data for Haskell sources.☆102Updated 11 months ago
- Interactive development for Bazel/Haskell rules☆49Updated 4 years ago
- Library for generating Haskell source files and code fragments.☆100Updated last month
- GHCJS runtime system and JavaScript support code for packages - deprecated as of GHC 8.2☆20Updated 6 years ago
- Reading, writing and manipulating ".tar" archive files.☆42Updated 4 months ago
- Fast base64 encoding and decoding for Haskell.☆48Updated 2 years ago
- JSON pretty-printing library and command-line tool.☆64Updated last year
- Resurrecting Lennart Augustsson's implementation of Cayenne☆38Updated 12 years ago
- A Haskell library for parsing, pretty-printing, and evaluating the Ninja build language.☆35Updated 8 years ago
- A concurrency framework for the Ivory language☆45Updated 6 years ago
- A Haskell-only implementation of zlib / DEFLATE.☆32Updated 4 years ago
- haskell memory☆48Updated 2 years ago
- A class for types that can be converted to a hash value☆105Updated last month
- Haskell 98 bifunctors, bifoldables and bitraversables☆58Updated 3 weeks ago
- MPFR bindings for Haskell☆34Updated 2 years ago
- Idris LLVM codegen factored out☆82Updated 8 years ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆72Updated 6 years ago
- ☆60Updated last year
- A Specification for Dependent Types in Haskell (Core)☆64Updated 3 years ago
- JHC Haskell compiler split into reusable components☆57Updated 7 years ago
- Haskell library for glob matching☆25Updated 4 years ago
- A Haskell library for building JSON-RPC servers (work in progress), with servers for Cryptol and SAW☆16Updated last week
- Haskell library for efficiently building up buffers☆27Updated last year
- Examples from Introduction to Programming in ATS☆26Updated 11 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆49Updated 3 weeks ago
- Austin's supercompiler work☆21Updated 6 years ago
- command-line Haskell with 'ghc -e'☆22Updated 8 years ago
- Dependently-typed finite maps (partial dependent products)☆67Updated 3 months ago