google / orthotope
☆10Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for orthotope
- BoringSSL-backed TLS and cryptography library for Haskell☆16Updated 5 years ago
- Haskell Bazel rules and cabal2bazel import tool.☆42Updated 3 years ago
- This is a fork of https://github.com/tweag/ormolu.☆13Updated last year
- Coq BPF interpreter☆19Updated 6 years ago
- Interactive development for Bazel/Haskell rules☆49Updated 3 years ago
- ☆20Updated 9 years ago
- A partial implementation of Protocol Buffers in Idris☆30Updated 7 years ago
- Contains the system-filepath and system-fileio packages☆9Updated last week
- Library for generating Haskell source files and code fragments.☆91Updated 2 weeks ago
- The implementation of tic-tac-toe using an operadic comonad☆11Updated 3 years ago
- Operations for sequentially ordered types☆10Updated 2 years ago
- Types representing line and column positions and ranges in text files☆11Updated last year
- XHTML combinator library☆9Updated this week
- Unfoldable functors☆15Updated 2 years ago
- Dynamically-typed Haskell expressions involving applications and variables.☆22Updated 9 months ago
- generalize counter-examples of property-based testing☆13Updated 9 months ago
- Conway's Game of Life using a comonad☆14Updated 7 years ago
- Safe and minimal Haskell Prelude☆10Updated 4 years ago
- A composable abstraction over retriable transactions for Hasql☆12Updated 4 months ago
- Fast serialization in haskell☆15Updated 4 years ago
- URI manipulation facilities☆25Updated 2 months ago
- JSON RPC using the remote monad☆9Updated 6 years ago
- Common lower-level functions needed by various streaming data libraries☆36Updated last year
- Functions for working with PureScripts 'Number' type☆13Updated last year
- Haskell library for glob matching☆25Updated 2 years ago
- An alternative to ghc --make which supports parallel compilation of modules and runs faster when nothing needs compiling.☆40Updated 2 years ago
- Write type-safe shell scripts in Haskell☆14Updated 4 years ago
- A framework for managing daemons from Haskell and libraries for use with postgresql and nix☆19Updated last month
- used to be something more ambitious, cut scope to just a simple compiler for thesis project☆18Updated 5 years ago
- Desugars Template Haskell abstract syntax to a simpler format without changing semantics☆20Updated 3 weeks ago