An automatic declarative ASCIInema recorder
☆46Jun 1, 2026Updated last month
Alternatives and similar repositories for autorecorder
Users that are interested in autorecorder are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 🛗 Typeclass for monads that can be unlifted to arbitrary base monads☆25Apr 21, 2021Updated 5 years ago
- A Haskell library: A fancy logging effect for Polysemy using the formatting library to format log messages.☆12Jul 16, 2021Updated 5 years ago
- In goes JSON, out comes a complete Haskell model complete with instances! CLI and web interface available.☆80Feb 11, 2021Updated 5 years ago
- Haskell Configuration Loader☆19Updated this week
- 🌋 Idris implementation of patricia tree☆23Nov 6, 2020Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 👅 Parse Haskell Language Extensions☆48Jun 6, 2026Updated last month
- A simple example of integrating TypeScript and Haskell.☆13Aug 25, 2021Updated 4 years ago
- A Pandoc filter that identifies Haskell code in Markdown, executes the code in GHCI and embeds the results in the returned Markdown.☆14Jul 11, 2019Updated 7 years ago
- Automatically trace all (showable) binds in do expressions☆84Jun 11, 2018Updated 8 years ago
- ✂️ Hakyll shortcut-links in markdown files☆11Oct 10, 2025Updated 9 months ago
- Informative error messages for common beginner misunderstandings with Haskell☆15Aug 29, 2019Updated 6 years ago
- Kowainik Git Workflow Helper Tool☆76Jan 13, 2023Updated 3 years ago
- Parse and render URI templates.☆17Jun 30, 2026Updated 3 weeks ago
- Minimalistic and an easy to use template for a miso project configured to be able to be compiled with both ghc and ghcjs☆12Oct 2, 2019Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 💄🐞 Combinators for writing pretty type errors easily☆56Mar 7, 2022Updated 4 years ago
- A reversible language☆22Sep 25, 2018Updated 7 years ago
- HLint as a GHC source plugin.☆31Jul 8, 2024Updated 2 years ago
- 🔄 Synchronize personal configs across multiple machines☆21Nov 6, 2020Updated 5 years ago
- A 3D game engine written in Haskell and OpenGL Shading Language. The goal is to make a 3D tribute to ZZT, including a game creation syst…☆47Jul 5, 2026Updated 2 weeks ago
- Composable code-quality tools☆13Jun 22, 2018Updated 8 years ago
- Validity and validity-based testing☆165Jun 1, 2026Updated last month
- 💝 Haskell profiles to sponsor☆47Oct 28, 2021Updated 4 years ago
- 👁️ Isometric 3D Graphing / Rendering module for Haskell☆15Sep 2, 2017Updated 8 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆12Jun 24, 2026Updated last month
- Lambda Calculus with quote and unquote☆19Jun 29, 2020Updated 6 years ago
- Demonstrating how to make type families faster using typechecker plugins☆20Dec 29, 2020Updated 5 years ago
- Template Haskell for generating ToJSON and FromJSON instances for GADTs☆25Jan 18, 2025Updated last year
- Existential type.☆37May 10, 2026Updated 2 months ago
- Automation of Haskell package release process.☆31Oct 31, 2023Updated 2 years ago
- DEPRECATED use autodocodec instead An optparse-applicative -style explainable yaml parser.☆28Oct 20, 2021Updated 4 years ago
- 👓 Profunctor based lightweight implementation of Lenses☆72May 30, 2023Updated 3 years ago
- Efficient implementation of the implicit treap data structure☆63Aug 2, 2021Updated 4 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A Programming language of directories. Just for fun.☆15Feb 2, 2023Updated 3 years ago
- Elm profiles to sponsor☆24Apr 11, 2023Updated 3 years ago
- A LSP client where events are powered by fsnotify and diagnostics displayed in a simple terminal interface☆26Mar 20, 2020Updated 6 years ago
- Zettelkasten file processor☆11Oct 7, 2020Updated 5 years ago
- Efficient parser combinators for Haskell☆39Nov 25, 2025Updated 8 months ago
- Scrap your hand-rolled aeson instances☆114Jun 18, 2026Updated last month
- A utility for managing Hackage dependencies and manipulating Cabal files from the command line.☆77Jun 3, 2023Updated 3 years ago