nanotech / dhall-rs
cargo +nightly build
☆34Updated 5 years ago
Alternatives and similar repositories for dhall-rs
Users that are interested in dhall-rs are comparing it to the libraries listed below
Sorting:
- A Haskell library for parsing, pretty-printing, and evaluating the Ninja build language.☆35Updated 7 years ago
- This repository has moved to https://github.com/dhall-lang/dhall-haskell/tree/master/dhall-bash☆21Updated 6 years ago
- System POSIX bindings for Idris.☆36Updated 6 years ago
- abstraction for auto scrubbing and const time Eq, memory chunk☆17Updated 5 years ago
- ☆23Updated 7 years ago
- van Laarhoven lenses for Idris☆20Updated 7 years ago
- WM independent launcher for scripts modeled after systemd and connman.☆12Updated 10 years ago
- LibSSH2 FFI bindings for Haskell☆26Updated last month
- Simple, IO-based Haskell library for Erlang-inspired thread supervisors☆29Updated 2 years ago
- More strongly typed variant of the ixset Haskell package☆24Updated 9 months ago
- Edit is a monad for rewriting things.☆23Updated 4 years ago
- 🌋 Idris implementation of patricia tree☆22Updated 4 years ago
- Run lifted IO operations asynchronously and wait for their results☆29Updated 6 months ago
- Efficiently hash Haskell values with MD5, SHA256, SHA512 and other hashing algorithms☆16Updated 4 months ago
- TOML file format parser in Haskell☆39Updated 3 years ago
- Example Integration for Embedding Rust in Haskell☆35Updated 6 years ago
- phantom types☆38Updated 3 months ago
- Haskell types and parsers for software version numbers.☆21Updated 3 months ago
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆25Updated 6 years ago
- ☆16Updated 2 months ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 5 months ago
- A compiler from mini-STG to Wasm (**far from complete**)☆14Updated 7 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago
- GRIN Haskell backend stripped out from JHC. (GRIN from scratch: https://github.com/grin-tech/grin)☆16Updated 6 years ago
- Dependent hash maps☆14Updated last month
- Dynamically-typed Haskell expressions involving applications and variables.☆22Updated 3 months ago
- Agda suffices: software written from A to Z in Agda☆16Updated 6 years ago
- Transactional cache with configurable persistence☆46Updated 2 years ago
- open union and open product types in Haskell☆32Updated 4 years ago
- Flush system metrics to statsd☆26Updated last month