nanotech / dhall-rsLinks
cargo +nightly build
☆34Updated 6 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:
- This repository has moved to https://github.com/dhall-lang/dhall-haskell/tree/master/dhall-bash☆21Updated 6 years ago
- A Haskell library for parsing, pretty-printing, and evaluating the Ninja build language.☆35Updated 7 years ago
- Example Integration for Embedding Rust in Haskell☆35Updated 7 years ago
- abstraction for auto scrubbing and const time Eq, memory chunk☆17Updated 5 years ago
- ☆16Updated 6 months ago
- Edit is a monad for rewriting things.☆23Updated 5 years ago
- Generate Purescript types from your Rust types. (unmaintained)☆42Updated 7 years ago
- More strongly typed variant of the ixset Haskell package☆26Updated 2 months ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 9 months ago
- ☆23Updated 7 years ago
- A Haskell library for compile-time checked literal values, via QuasiQuoters.☆13Updated 4 years ago
- Simple, IO-based Haskell library for Erlang-inspired thread supervisors☆29Updated 3 years ago
- A build tool/package manager for C, configured with Dhall☆67Updated last year
- TOML file format parser in Haskell☆39Updated 3 years ago
- Reading, writing and manipulating ".tar" archive files.☆42Updated this week
- ICFP Bingo 2017 (Idris edition)☆30Updated 6 years ago
- Haskell library for efficiently building up buffers☆26Updated 8 months ago
- Haskell types and parsers for software version numbers.☆20Updated last month
- System POSIX bindings for Idris.☆36Updated 6 years ago
- Smuggle arbitrary values in ()☆12Updated 2 years ago
- 🌋 Idris implementation of patricia tree☆23Updated 4 years ago
- Tool to determine relevant parts of binary data☆44Updated 7 years ago
- Abstract binding tree code generator☆37Updated 8 years ago
- Haskell suite library for name resolution☆52Updated 5 months ago
- A Haskell ADL to generate terraform files.☆17Updated 5 years ago
- GNU bash backend for Idris☆52Updated 6 years ago
- A two-dimensional parser combinator library.☆41Updated 8 years ago
- types and functions bridge between foundation and the actual ecosystem (text, vector, bytestring, ...☆18Updated 8 years ago
- ☆15Updated 4 years ago
- LibSSH2 FFI bindings for Haskell☆26Updated 5 months ago