dhall-purescript

Dhall compiler

An implementation of the Dhall data format in a statically typed, compiled programming language

Dhall implementation in PureScript

GitHub

96 stars
9 watching
5 forks
Language: PureScript
last commit: almost 2 years ago
Linked from 1 awesome list

dhallpurescriptpurescript-halogen

Backlinks from these awesome lists:

Related projects:

Repository Description Stars
hagl/dhall-unison An implementation of Dhall's configuration language in Unison 7
dhall-lang/vscode-language-dhall Adds syntax highlighting support to VS Code for the Dhall programming language 18
dhall-lang/vscode-dhall-lsp-server Provides language features and diagnostics support for the Dhall programming language in Visual Studio Code 17
hdgarrood/purescript-benchotron Benchmarking tool for functional programming languages 32
f-f/dhall-clj A tool that translates Dhall expressions into Clojure code 75
purescript-halogen/purescript-halogen A declarative UI library written in PureScript, allowing developers to build type-safe user interfaces 1,538
paf31/dovetail A tool for building domain-specific languages in Haskell using a PureScript interpreter 119
maxdeviant/dhall-tsconfig Dhall bindings for a configuration file format commonly used in TypeScript projects 1
dhall-lang/dhall-haskell Provides Haskell bindings to Dhall, a configuration language used in various projects. 918
travisbrown/dhallj An implementation of the Dhall configuration language for Java 174
formationai/dhall-bhat A library that provides a standardized way of expressing data types and operations in Dhall programming language. 66
nadrieril/dhall-rust An implementation of Dhall, a programmable configuration language, in Rust. 305
athanclark/purescript-arraybuffer-class A library providing binary serialization utilities for PureScript data types 5
bodil/purescript-signal A lightweight FRP-like library inspired by Elm for managing effects in PureScript applications 258
softwarefactory-project/dhall-prometheus Provides Dhall bindings to Prometheus configuration for managing and scraping metrics from multiple sources 6