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 8 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
- Simple, IO-based Haskell library for Erlang-inspired thread supervisors☆29Updated 3 years ago
- Edit is a monad for rewriting things.☆23Updated 5 years ago
- System POSIX bindings for Idris.☆36Updated 6 years ago
- Abstract binding tree code generator☆37Updated 9 years ago
- ☆16Updated 8 months ago
- Generate Purescript types from your Rust types. (unmaintained)☆42Updated 7 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 7 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆49Updated last year
- ICFP Bingo 2017 (Idris edition)☆30Updated 6 years ago
- A Haskell library to pretty print data in a tabular format☆11Updated 7 years ago
- An llvm pretty printer inspired by the haskell llvm binding☆30Updated last week
- Alpine linux with ghc for docker☆19Updated 8 years ago
- TOML file format parser in Haskell☆39Updated 3 years ago
- 🌋 Idris implementation of patricia tree☆23Updated 5 years ago
- Formalised embedding of an imperative language with effect system into session-typed pi calculus.☆29Updated last year
- Agda suffices: software written from A to Z in Agda☆16Updated 6 years ago
- A compiler from mini-STG to Wasm (**far from complete**)☆14Updated 8 years ago
- The Alms Programming Language☆44Updated 7 years ago
- purerl bindings to basic Erlang process functionality☆13Updated 3 years ago
- Reading, writing and manipulating ".tar" archive files.☆42Updated 2 months ago
- Haskell library for glob matching☆25Updated 3 years ago
- A dependently typed programming language, and verification tool☆27Updated 9 years ago
- JSON pretty-printing library and command-line tool.☆64Updated last year
- Smuggle arbitrary values in ()☆12Updated 2 years ago
- The Wadler/Leijen Pretty Printer for colored ANSI terminal output☆31Updated 6 years ago