google / orthotope
☆10Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for orthotope
- BoringSSL-backed TLS and cryptography library for Haskell☆16Updated 5 years ago
- This is a fork of https://github.com/tweag/ormolu.☆13Updated last year
- Haskell Bazel rules and cabal2bazel import tool.☆42Updated 3 years ago
- Interactive development for Bazel/Haskell rules☆49Updated 3 years ago
- A partial implementation of Protocol Buffers in Idris☆30Updated 7 years ago
- Contains the system-filepath and system-fileio packages☆9Updated last year
- Operations for sequentially ordered types☆10Updated 2 years ago
- Library for generating Haskell source files and code fragments.☆91Updated last week
- Functions for working with PureScripts 'Number' type☆13Updated last year
- ☆20Updated 9 years ago
- used to be something more ambitious, cut scope to just a simple compiler for thesis project☆18Updated 5 years ago
- generalize counter-examples of property-based testing☆13Updated 9 months ago
- Call-by-need values☆30Updated 2 years ago
- Fast serialization in haskell☆15Updated 4 years ago
- A Haskell client for Toxiproxy.☆19Updated 6 years ago
- Desugars Template Haskell abstract syntax to a simpler format without changing semantics☆20Updated 2 weeks ago
- Unfoldable functors☆15Updated 2 years ago
- Tuple data type and utility functions☆26Updated 2 years ago
- ☆44Updated last month
- Emits code crossreference data for Haskell sources.☆99Updated 4 years ago
- Dependent hash maps☆14Updated 5 months ago
- Write type-safe shell scripts in Haskell☆14Updated 4 years ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆13Updated 5 years ago
- Efficiently hash Haskell values with MD5, SHA256, SHA512 and other hashing algorithms☆15Updated last month
- Dhall-configured inductive API definitions☆24Updated 4 years ago
- I/O utilities and datasets for algebraic-graphs☆13Updated 2 years ago
- Materials for 2-hr LiquidHaskell Workshop☆11Updated 2 years ago
- Nested Relational Calculus embedded in Haskell☆16Updated 12 years ago
- URI manipulation facilities☆25Updated 2 months ago
- Utilities for working with partial functions☆14Updated 2 years ago