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: over 5 years ago Related projects:
Repository | Description | Stars |
---|---|---|
| A Haskell library providing automatic heterogeneous back-propagation for differentiable programming and deep learning applications. | 180 |
| Builds large-scale data systems by separating design and implementation concerns with a high-level, declarative language framework. | 15 |
| A Haskell package providing a declarative programming framework for building GTK+ applications. | 288 |
| A tool for generating Coq code from syntactic theories with variable binders | 17 |
| A static site generator built on Shake configured in Haskell, providing tools and combinators for building websites. | 204 |
| A structured logging framework for Haskell applications | 205 |
| Automates translation of Haskell projects into Nix code | 565 |
| Provides efficient and scalable builder functionality for working with text data in Haskell. | 88 |
| Collects notes and solutions to exercises from the book 'Haskell Programming from first principles' | 95 |
| Automated testing of program properties in Haskell programs. | 728 |
| A build tool and package manager for C languages with cross-compilation support | 68 |
| A static site generator that allows flexible creation of web pages using templates and metadata stored in TOML files | 20 |
| Automates generation of static resumes in HTML and PDF formats using Dhall programming language. | 4 |
| A tool for parsing ASCII art word solutions from Advent of Code puzzles | 5 |
| A Haskell-based static site generator that supports LaTeX and Markdown. | 93 |