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 7 years ago
- ☆23Updated 7 years ago
- abstraction for auto scrubbing and const time Eq, memory chunk☆17Updated 5 years ago
- A Haskell library for parsing, pretty-printing, and evaluating the Ninja build language.☆35Updated 7 years ago
- Simple, IO-based Haskell library for Erlang-inspired thread supervisors☆29Updated 3 years ago
- ☆16Updated 8 months ago
- Edit is a monad for rewriting things.☆23Updated 5 years ago
- Example Integration for Embedding Rust in Haskell☆35Updated 7 years ago
- A Haskell library for compile-time checked literal values, via QuasiQuoters.☆13Updated 4 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆49Updated 11 months ago
- System POSIX bindings for Idris.☆36Updated 6 years ago
- 🌋 Idris implementation of patricia tree☆23Updated 5 years ago
- purerl bindings to basic Erlang process functionality☆13Updated 3 years ago
- 🔖 Better Haskell documentation.☆17Updated 5 years ago
- Haskell bindings to libsystemd-journal☆21Updated 3 months ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago
- types and functions bridge between foundation and the actual ecosystem (text, vector, bytestring, ...☆19Updated 8 years ago
- Abstract binding tree code generator☆37Updated 9 years ago
- Experiments with effect systems☆12Updated 9 years ago
- Haskell types and parsers for software version numbers.☆20Updated last week
- Efficiently hash Haskell values with MD5, SHA256, SHA512 and other hashing algorithms☆16Updated 10 months ago
- Vector builder☆16Updated 9 months ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 6 years ago
- LibSSH2 FFI bindings for Haskell☆26Updated 7 months ago
- LaTeX sources for the Habit Programming Language Report☆24Updated 7 years ago
- Formalised embedding of an imperative language with effect system into session-typed pi calculus.☆29Updated last year
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 7 years ago
- Get terminal window width and height☆14Updated last year
- A human readable style for binary data.☆12Updated 5 years ago
- A Haskell ADL to generate terraform files.☆17Updated 5 years ago