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:
- A Haskell library for parsing, pretty-printing, and evaluating the Ninja build language.☆35Updated 7 years ago
- ☆23Updated 7 years ago
- Alpine linux with ghc for docker☆19Updated 8 years ago
- This repository has moved to https://github.com/dhall-lang/dhall-haskell/tree/master/dhall-bash☆21Updated 6 years ago
- Haskell types and parsers for software version numbers.☆21Updated 5 months 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 3 years ago
- System POSIX bindings for Idris.☆36Updated 6 years ago
- Example Integration for Embedding Rust in Haskell☆35Updated 6 years ago
- TOML file format parser in Haskell☆39Updated 3 years ago
- purerl bindings to basic Erlang process functionality☆13Updated 2 years ago
- ☆16Updated 3 months ago
- Type Theory in Type Theory using Cubical Agda☆13Updated 6 years ago
- Generate Purescript types from your Rust types. (unmaintained)☆42Updated 6 years ago
- More strongly typed variant of the ixset Haskell package☆24Updated 10 months ago
- Reading, writing and manipulating ".tar" archive files.☆40Updated 4 months ago
- An alternative to ghc --make which supports parallel compilation of modules and runs faster when nothing needs compiling.☆40Updated 3 years ago
- LibSSH2 FFI bindings for Haskell☆26Updated 3 months ago
- Dynamically-typed Haskell expressions involving applications and variables.☆22Updated 5 months ago
- Efficiently hash Haskell values with MD5, SHA256, SHA512 and other hashing algorithms☆16Updated 5 months ago
- WM independent launcher for scripts modeled after systemd and connman.☆12Updated 10 years ago
- Edit is a monad for rewriting things.☆23Updated 4 years ago
- van Laarhoven lenses for Idris☆20Updated 7 years ago
- 🌋 Idris implementation of patricia tree☆23Updated 4 years ago
- Run lifted IO operations asynchronously and wait for their results☆29Updated 8 months ago
- A functional test framework for LSP servers☆35Updated 4 years ago
- Source files used for the Cedille Cast videos☆12Updated 4 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 7 months ago
- Abstactions and concrete implementations of mutable containers☆14Updated 9 years ago
- A syntax checker for TOML files☆28Updated 5 years ago