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:
- A purely functional higher order logic kernel☆15Sep 12, 2026Updated last month
- Haskell implementation of the categorical abstract machine☆14Apr 27, 2017Updated 9 years ago
- A "small" LISP interpreter written in C++☆12Dec 12, 2014Updated 11 years ago
- github.com/cznic/fsm has moved to modernc.org/fsm☆11Nov 22, 2018Updated 7 years ago
- This is a mirror of the official cmucl repo at gitlab.common-lisp.net☆30Updated this week
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- epsilon is a scanner generator☆30Sep 30, 2026Updated last month
- Spline functions in different languages (Catmull-Rom spline)☆11May 27, 2017Updated 9 years ago
- A modern replacement for ‘ls’.☆10Aug 9, 2023Updated 3 years ago
- ☆10May 26, 2016Updated 10 years ago
- a Compileable statically typed Functional programming Language☆11Jun 11, 2015Updated 11 years ago
- Coq proof for the paper "Compiling a Fifty Year Journey"☆13Aug 22, 2017Updated 9 years ago
- Design by contract for Go☆16Mar 13, 2025Updated last year
- ML Basis for Poly/ML☆14Oct 18, 2025Updated last year
- A collection of spinner frames☆13Mar 24, 2023Updated 3 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.
- ☆15Jun 9, 2026Updated 4 months ago
- Static file server which packs all data in the binary☆10Oct 17, 2021Updated 5 years ago
- Standard ML Parser Combinator Library☆17Jan 9, 2026Updated 9 months ago
- An asyncio-based python client for http://pushbullet.com☆11Feb 18, 2021Updated 5 years ago
- Logan: A Gatsby Boilerplate built on top of the Headless CMS Prismic. Named after a wizard 🧙☆22Jan 3, 2023Updated 3 years ago
- AMP (Advance Music Player) is a free, powerful and elegant music player for Android used to be a free app on the Play Store.☆15May 9, 2022Updated 4 years ago
- A toy Wolfram language interpreter.☆39Oct 27, 2024Updated 2 years ago
- Fatso Package Manager☆15Jan 11, 2015Updated 11 years ago
- A DFA based UTF-8 decoder☆16Jan 1, 2014Updated 12 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Audio Player☆18Jul 9, 2018Updated 8 years ago
- Tool for converting LaTeX-prepared documents to Wordpress-ready HTML☆12Mar 11, 2025Updated last year
- Bunnymark ported to a few languages in TIC-80 for performance testing.☆14Apr 3, 2023Updated 3 years ago
- The Super Tiny Compiler in Ada☆28May 19, 2026Updated 5 months ago
- MMIX 2009 – a RISC computer for the third millennium☆47Oct 14, 2026Updated 2 weeks ago
- New, much faster implementation of a FIT parser in C#.☆11Dec 8, 2015Updated 10 years ago
- Styling terminal text written in Kotlin☆31May 25, 2017Updated 9 years ago
- A self-contained implementation of forward and backward inference for intuitionistic propositional logic☆18Oct 10, 2017Updated 9 years ago
- Hello world in C90 (ANSI C) built for Intel/AMD, PowerPC, System z, ARM, MIPS, RISC-V☆21Aug 2, 2024Updated 2 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- 🎨 Color sorting game☆14Mar 15, 2018Updated 8 years ago
- MIT-Licensed ANSI C Embeddable Command-Line Option Library With a popt/GOption-Style Interface☆15Aug 4, 2017Updated 9 years ago
- For already-build distribution of ZoiaPatchViewer☆10Jan 5, 2023Updated 3 years ago
- Decides statements in propositional logic, modal logic, unary (monadic) predicate logic and term logic.☆10Feb 3, 2024Updated 2 years ago
- Redis based Finite State Machine☆10Mar 3, 2015Updated 11 years ago
- ☆11Jun 2, 2022Updated 4 years ago
- Boolean satisfiability for propositional logic in Python☆15Aug 19, 2025Updated last year