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
- Example Integration for Embedding Rust in Haskell☆35Updated 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
- ☆23Updated 7 years ago
- Generate Purescript types from your Rust types. (unmaintained)☆42Updated 6 years ago
- Simple, IO-based Haskell library for Erlang-inspired thread supervisors☆29Updated 3 years ago
- Abstract binding tree code generator☆37Updated 8 years ago
- ☆16Updated 4 months ago
- Alpine linux with ghc for docker☆19Updated 8 years ago
- A Haskell library for compile-time checked literal values, via QuasiQuoters.☆13Updated 3 years ago
- Edit is a monad for rewriting things.☆23Updated 4 years ago
- Resin: high performance variable binder and ast manipulation lib☆13Updated 6 years ago
- System POSIX bindings for Idris.☆36Updated 6 years ago
- LaTeX sources for the Habit Programming Language Report☆24Updated 6 years ago
- TOML file format parser in Haskell☆39Updated 3 years ago
- purerl bindings to basic Erlang process functionality☆13Updated 2 years ago
- 🌋 Idris implementation of patricia tree☆23Updated 4 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 8 months ago
- types and functions bridge between foundation and the actual ecosystem (text, vector, bytestring, ...☆18Updated 8 years ago
- A syntax checker for TOML files☆28Updated 5 years ago
- SPAKE2 key exchange protocol for Haskell☆14Updated 2 years ago
- A build tool/package manager for C, configured with Dhall☆67Updated last year
- Haskell library for efficiently building up buffers☆26Updated 7 months ago
- High level, generic library for interrogative user interfaces in Haskell☆41Updated 4 years ago
- GNU bash backend for Idris☆52Updated 6 years ago
- Labeled IO Library☆57Updated 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
- 🔖 Better Haskell documentation.☆17Updated 4 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago