Render inline graphs with Markdown and Graphviz
☆35Aug 13, 2021Updated 4 years ago
Alternatives and similar repositories for markdown-inline-graphviz
Users that are interested in markdown-inline-graphviz are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- support for embedding graphviz graphs inside markdown documents☆27Jan 16, 2010Updated 16 years ago
- Slides and Demo for "Queryable State or How to Build a Billing System Without a Database" given at Flink Forward San Franciso 17☆12Jun 11, 2017Updated 8 years ago
- Generate railroad diagrams from code or BNF, generate BNF from code☆21Oct 9, 2017Updated 8 years ago
- Mirror of Apache Bookkeeper☆14Sep 7, 2018Updated 7 years ago
- A collection of good and bad Ansible code examples☆12Feb 23, 2026Updated 3 months 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.
- ☆21Mar 15, 2016Updated 10 years ago
- The Agda Universal Algebra Library (UALib) is a library of types and programs (theorems and proofs) that formalizes the foundations of un…☆20Dec 8, 2021Updated 4 years ago
- ChangeLog plugin for Backstage which provides possibility to read and view change log of component in Software Catalog☆13Jun 23, 2024Updated last year
- Retargetable Markdown-to-epub checking and build tools for my programming books☆29Aug 29, 2021Updated 4 years ago
- Base library for HoTT in Agda☆39Apr 2, 2019Updated 7 years ago
- ▶️ Server on Demand Appliance (Google Compute Engine) - Cloud Build with Terraform and Ansible Showcase☆13Oct 12, 2025Updated 7 months ago
- A collection of useful JUnit rules from Unruly's codebases☆17Mar 21, 2018Updated 8 years ago
- Generic Model Serving Implementation leveraging Flink☆19Jan 3, 2019Updated 7 years ago
- A small NuPRL style proof assistant☆31Jan 31, 2019Updated 7 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Derive editors for data types.☆29Oct 5, 2014Updated 11 years ago
- A SAML2 toolkit written in Python☆31Jul 13, 2009Updated 16 years ago
- Formalised embedding of an imperative language with effect system into session-typed pi calculus.☆29Nov 28, 2024Updated last year
- Session Types with Priority in Linear Haskell☆27Jun 11, 2024Updated last year
- multiple remote platform snippet-code manager command.☆24Sep 13, 2024Updated last year
- This package provides a Coq formalization of abstract algebra using a functional programming style. The modules contained within the pack…☆28Feb 28, 2019Updated 7 years ago
- A complete proof in Agda of the Church-Rosser theorem for untyped λ-calculus formalizing the methods by Komori-Matsuda-Yamakawa (2014) an…☆30Sep 21, 2022Updated 3 years ago
- An exploration and implementation of the lambda calculus.☆12Oct 18, 2016Updated 9 years ago
- 📘⌨️ A Racket #lang and module for making cover PDFs for printed things.☆23Nov 24, 2025Updated 6 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Martin-Löf Extensible Specification and Simulator☆29Jul 1, 2015Updated 10 years ago
- Materials for the PyData San Francisco 2016 visualization tutorial☆14Dec 24, 2016Updated 9 years ago
- An attempt to formalize unix cat in fiat☆11May 28, 2017Updated 8 years ago
- LIMA: Language for Integrated Modeling and Analysis☆12Sep 8, 2018Updated 7 years ago
- Feedback Plugin for Backstage☆18Apr 10, 2026Updated last month
- Type theory + whales and syntax☆11Nov 28, 2019Updated 6 years ago
- Gulp view/helper for Atom Editor☆16Jun 29, 2015Updated 10 years ago
- Category theory in Coq, by Jason Gross☆16Jan 29, 2015Updated 11 years ago
- Distributed file mirroring proxy in Consul cluster☆16Jun 2, 2017Updated 8 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.
- Self-contained repository for the eponymous paper☆30Jan 11, 2019Updated 7 years ago
- Type-safe tic-tac-toe using Typesafe programming in Haskell☆15Sep 1, 2017Updated 8 years ago
- Pandas tutorial pydata SFO 2016 Notebooks & Data☆10Feb 20, 2019Updated 7 years ago
- Subsumed into xnd☆25Aug 30, 2023Updated 2 years ago
- Over-engineered tool for symlinking dotfiles☆37Nov 13, 2013Updated 12 years ago
- Pure relational SKI combinator calculus interpreter.☆11Jul 13, 2017Updated 8 years ago
- A Whitespace-Based Dependently Typed Functional Programming Language☆16Mar 29, 2017Updated 9 years ago