auto
by mstksg
Haskell DSL and platform providing denotational, compositional api for discrete-step, locally stateful, interactive programs, games & automations. http://hackage.haskell.org/package/auto
AI summary
Program builder
Provides a declarative API for creating discrete-step, locally stateful interactive programs and automations
- stars
- 180
- forks
- 11
- watching
- 16
Similar projects
Found by comparing what the projects do, not just their names.
Backprop algorithm library
A Haskell library providing automatic heterogeneous back-propagation for differentiable programming and deep learning applications.
damsl/k315
Data system builder
Builds large-scale data systems by separating design and implementation concerns with a high-level, declarative language framework.
Declarative GUI builder
A Haskell package providing a declarative programming framework for building GTK+ applications.
Syntax generator
A tool for generating Coq code from syntactic theories with variable binders
Site builder
A static site generator built on Shake configured in Haskell, providing tools and combinators for building websites.
Logger
A structured logging framework for Haskell applications
Package translator
Automates translation of Haskell projects into Nix code
Text builder library
Provides efficient and scalable builder functionality for working with text data in Haskell.
Programming guide
Collects notes and solutions to exercises from the book 'Haskell Programming from first principles'
Property tester
Automated testing of program properties in Haskell programs.
C builder
A build tool and package manager for C languages with cross-compilation support
Page builder
A static site generator that allows flexible creation of web pages using templates and metadata stored in TOML files
Resume generator
Automates generation of static resumes in HTML and PDF formats using Dhall programming language.
OCR parser
A tool for parsing ASCII art word solutions from Advent of Code puzzles
Site builder
A Haskell-based static site generator that supports LaTeX and Markdown.
