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
- 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
- abstraction for auto scrubbing and const time Eq, memory chunk☆17Updated 5 years ago
- Simple, IO-based Haskell library for Erlang-inspired thread supervisors☆29Updated 2 years ago
- ☆23Updated 7 years ago
- System POSIX bindings for Idris.☆36Updated 6 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago
- More strongly typed variant of the ixset Haskell package☆24Updated 7 months ago
- ☆15Updated 2 years ago
- Haskell: Efficiently build a bytestring from smaller chunks☆24Updated 2 years ago
- LibSSH2 FFI bindings for Haskell☆26Updated last month
- Transactional cache with configurable persistence☆46Updated last year
- 🌋 Idris implementation of patricia tree☆22Updated 4 years ago
- An alternative to ghc --make which supports parallel compilation of modules and runs faster when nothing needs compiling.☆40Updated 3 years ago
- phantom types☆38Updated last month
- Smuggle arbitrary values in ()☆12Updated last year
- Relational programming for PureScript☆17Updated 8 years ago
- purerl bindings to basic Erlang process functionality☆13Updated 2 years ago
- Edit is a monad for rewriting things.☆23Updated 4 years ago
- A compiler from mini-STG to Wasm (**far from complete**)☆14Updated 7 years ago
- Run lifted IO operations asynchronously and wait for their results☆28Updated 4 months ago
- Type Safe LLVM IR ( Experimental )☆49Updated 6 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 3 months ago
- Example Integration for Embedding Rust in Haskell☆35Updated 6 years ago
- A Haskell code formatter using prettyprinter and the GHC API☆24Updated 6 years ago
- Efficiently hash Haskell values with MD5, SHA256, SHA512 and other hashing algorithms☆15Updated 2 months ago
- Type Theory in Type Theory using Cubical Agda☆12Updated 6 years ago
- Haskell types and parsers for software version numbers.☆20Updated last month
- IO without any PseudoExceptions☆28Updated 4 years ago
- van Laarhoven lenses for Idris☆20Updated 7 years ago