nanotech / dhall-rs
cargo +nightly build
☆34Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for dhall-rs
- A Haskell library for parsing, pretty-printing, and evaluating the Ninja build language.☆34Updated 6 years ago
- abstraction for auto scrubbing and const time Eq, memory chunk☆17Updated 4 years ago
- ☆23Updated 6 years ago
- This repository has moved to https://github.com/dhall-lang/dhall-haskell/tree/master/dhall-bash☆21Updated 5 years ago
- Simple, IO-based Haskell library for Erlang-inspired thread supervisors☆29Updated 2 years ago
- More strongly typed variant of the ixset Haskell package☆23Updated 3 months ago
- LibSSH2 FFI bindings for Haskell☆26Updated 5 months ago
- phantom types☆37Updated 2 months ago
- ELF data structures for Haskell☆24Updated last year
- Edit is a monad for rewriting things.☆23Updated 4 years ago
- System POSIX bindings for Idris.☆36Updated 5 years ago
- Haskell types and parsers for software version numbers.☆20Updated 5 months ago
- Efficiently hash Haskell values with MD5, SHA256, SHA512 and other hashing algorithms☆15Updated last month
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 7 months ago
- types and functions bridge between foundation and the actual ecosystem (text, vector, bytestring, ...☆18Updated 7 years ago
- A Haskell code formatter using prettyprinter and the GHC API☆24Updated 6 years ago
- Deep evaluation of data structures☆41Updated 2 months ago
- WM independent launcher for scripts modeled after systemd and connman.☆12Updated 9 years ago
- 🌋 Idris implementation of patricia tree☆22Updated 4 years ago
- van Laarhoven lenses for Idris☆20Updated 7 years ago
- Server Side Loading JSON☆11Updated 5 years ago
- Dependent hash maps☆14Updated 5 months ago
- Haskell library for efficiently building up buffers☆26Updated 3 months ago
- purerl bindings to basic Erlang process functionality☆12Updated 2 years ago
- Vector builder☆15Updated 11 months ago
- Example Integration for Embedding Rust in Haskell☆35Updated 6 years ago
- Smuggle arbitrary values in ()☆12Updated last year
- Reading, writing and manipulating ".tar" archive files.☆40Updated last month
- 💧 Liquid Haskell integration for Cabal and Stack☆24Updated 5 years ago