auto
Program builder
Provides a declarative API for creating discrete-step, locally stateful interactive programs and automations
Haskell DSL and platform providing denotational, compositional api for discrete-step, locally stateful, interactive programs, games & automations. http://hackage.haskell.org/package/auto
180 stars
16 watching
11 forks
Language: Haskell
last commit: about 7 years agoRelated projects:
| Repository | Description | Stars |
|---|---|---|
| mstksg/backprop | A Haskell library providing automatic heterogeneous back-propagation for differentiable programming and deep learning applications. | 180 |
 damsl/k3 | Builds large-scale data systems by separating design and implementation concerns with a high-level, declarative language framework. | 15 |
 owickstrom/gi-gtk-declarative | A Haskell package providing a declarative programming framework for building GTK+ applications. | 288 |
 uds-psl/autosubst2 | A tool for generating Coq code from syntactic theories with variable binders | 17 |
 chrispenner/slick | A static site generator built on Shake configured in Haskell, providing tools and combinators for building websites. | 204 |
 soostone/katip | A structured logging framework for Haskell applications | 205 |
 input-output-hk/haskell.nix | Automates translation of Haskell projects into Nix code | 565 |
 bodigrim/linear-builder | Provides efficient and scalable builder functionality for working with text data in Haskell. | 88 |
 dwayne/haskell-programming | Collects notes and solutions to exercises from the book 'Haskell Programming from first principles' | 95 |
 nick8325/quickcheck | Automated testing of program properties in Haskell programs. | 728 |
 vmchale/cpkg | A build tool and package manager for C languages with cross-compilation support | 68 |
 kambrium/dssg | A static site generator that allows flexible creation of web pages using templates and metadata stored in TOML files | 20 |
| mstksg/cv-static | Automates generation of static resumes in HTML and PDF formats using Dhall programming language. | 4 |
| mstksg/advent-of-code-ocr | A tool for parsing ASCII art word solutions from Advent of Code puzzles | 5 |
 2016rshah/heckle | A Haskell-based static site generator that supports LaTeX and Markdown. | 93 |