Render ASCII art as SVG diagrams
☆53Dec 6, 2020Updated 5 years ago
Alternatives and similar repositories for goat
Users that are interested in goat are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Basic scaffold for a Django Rest Framework + React app.☆13Feb 17, 2023Updated 3 years ago
- An implementation of Tarjan's Strongly Connected Components algorithm☆14Aug 25, 2019Updated 7 years ago
- A purely functional higher order logic kernel☆15Sep 12, 2026Updated 3 weeks ago
- An implementation of "Regular Expression Matching: the Virtual Machine Approach"☆27Aug 20, 2024Updated 2 years ago
- epsilon is a scanner generator☆30Sep 30, 2026Updated last week
- 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.
- Test GD32VF103 microcontroller using hal crate https://github.com/luojia65/gd32vf103-hal☆13Sep 18, 2019Updated 7 years ago
- mark/sweep garbage collector for C☆30Mar 24, 2012Updated 14 years ago
- Coq proof for the paper "Compiling a Fifty Year Journey"☆13Aug 22, 2017Updated 9 years ago
- A collection of spinner frames☆13Mar 24, 2023Updated 3 years ago
- A formatter for the "xml2rfc" vocabulary, implemented in XSLT.☆13Aug 31, 2026Updated last month
- a Compileable statically typed Functional programming Language☆11Jun 11, 2015Updated 11 years ago
- Standard ML Parser Combinator Library☆17Jan 9, 2026Updated 9 months ago
- TeX Parser in Haskell☆11Aug 12, 2017Updated 9 years ago
- A toy Wolfram language interpreter.☆39Oct 27, 2024Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A small lisp compiler / interpreter written using idiomatic C++☆15Apr 16, 2016Updated 10 years ago
- Dangerous Dave in TIC-80☆10Jun 22, 2022Updated 4 years ago
- An asyncio-based python client for http://pushbullet.com☆11Feb 18, 2021Updated 5 years ago
- A self-contained implementation of forward and backward inference for intuitionistic propositional logic☆18Oct 10, 2017Updated 9 years ago
- Audio Player☆18Jul 9, 2018Updated 8 years ago
- 🔍 Search shortcodes of emojis supported by Github☆16Apr 25, 2025Updated last year
- Kac-kac games☆17Dec 22, 2019Updated 6 years ago
- Static file server which packs all data in the binary☆10Oct 17, 2021Updated 4 years ago
- The Super Tiny Compiler in Ada☆26May 19, 2026Updated 4 months 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.
- A standalone tool for measuring SSIM☆15Sep 4, 2012Updated 14 years ago
- GroundhogDay lets you repeat an operation until you get it right.☆16Jun 1, 2012Updated 14 years ago
- Edge detection-based ASCII art generator☆21May 13, 2026Updated 4 months ago
- Livebooks and what not of me playing around with Machine Learning in Elixir☆17Sep 4, 2024Updated 2 years ago
- Logan: A Gatsby Boilerplate built on top of the Headless CMS Prismic. Named after a wizard 🧙☆22Jan 3, 2023Updated 3 years ago
- System F in coq.☆19Jan 27, 2015Updated 11 years ago
- Fatso Package Manager☆15Jan 11, 2015Updated 11 years ago
- 🎨 Color sorting game☆14Mar 15, 2018Updated 8 years ago
- Tempest atmosphere / Earth-system model☆22Sep 1, 2022Updated 4 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.
- Roll up your own claude code with 100 lines☆30Jun 2, 2026Updated 4 months ago
- C# Specification for https://github.com/vega/vega-lite☆10Aug 12, 2021Updated 5 years ago
- A bare-bones LCF-style proof assistant☆26Aug 13, 2019Updated 7 years ago
- Re-usable low-level ML components☆11Oct 31, 2018Updated 7 years ago
- ☆13Apr 17, 2020Updated 6 years ago
- My Linux dot files configuration and other handy scripts☆15Updated this week
- Javaimports is a stateless CLI that updates Java import lines, adding missing ones.☆29Dec 15, 2025Updated 9 months ago