Render inline graphs with Markdown and Graphviz
☆35Aug 13, 2021Updated 5 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:
- 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 9 years ago
- adding basic authentication to mkdocs site☆43Mar 25, 2021Updated 5 years ago
- ☆20Mar 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
- A collection of useful JUnit rules from Unruly's codebases☆17Mar 21, 2018Updated 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.
- Make beautiful, interactive timelines on the web.☆13Aug 16, 2013Updated 13 years ago
- [abandoned]☆15Jun 29, 2012Updated 14 years ago
- ☆15Dec 4, 2016Updated 9 years ago
- Simple cron command entry parser☆11Apr 16, 2018Updated 8 years ago
- A Linux CPU temperature terminal monitor with history charts.☆13Nov 20, 2015Updated 10 years ago
- Using Rust to make a 137-byte static AMD64 Linux executable☆18Mar 22, 2025Updated last year
- A small NuPRL style proof assistant☆31Jan 31, 2019Updated 7 years ago
- Retargetable Markdown-to-epub checking and build tools for my programming books☆29Aug 29, 2021Updated 5 years ago
- Formalised embedding of an imperative language with effect system into session-typed pi calculus.☆29Nov 28, 2024Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Puzzle Repo for HackMIT 2015☆14Oct 4, 2016Updated 9 years ago
- Amazon.com price check, item description & review, and more☆22Mar 2, 2011Updated 15 years ago
- GapBuffer data structure in Rust.☆16Mar 30, 2015Updated 11 years ago
- Session Types with Priority in Linear Haskell☆28Jun 11, 2024Updated 2 years ago
- Research Object manager command line tool(s) and web service☆16Nov 30, 2017Updated 8 years ago
- Client library for interacting with Zax Cryptographic Relay☆11Jul 27, 2021Updated 5 years ago
- 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 Racket #lang and module for making cover PDFs for printed things.☆24Aug 15, 2026Updated 2 weeks ago
- rightsstatements.org data model☆14Updated this week
- 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 complete proof in Agda of the Church-Rosser theorem for untyped λ-calculus formalizing the methods by Komori-Matsuda-Yamakawa (2014) an…☆32Sep 21, 2022Updated 3 years ago
- Martin-Löf Extensible Specification and Simulator☆29Jul 1, 2015Updated 11 years ago
- ☆16Jul 25, 2014Updated 12 years ago
- An exploration and implementation of the lambda calculus.☆12Oct 18, 2016Updated 9 years ago
- run process until all its spawned processes are dead☆20Oct 24, 2025Updated 10 months ago
- A secure utmp/wtmp implementation☆20Jul 14, 2026Updated last month
- An attempt to formalize unix cat in fiat☆11May 28, 2017Updated 9 years ago
- A DSAuthority for up to 256 roles☆16Jul 29, 2021Updated 5 years ago
- LIMA: Language for Integrated Modeling and Analysis☆12Sep 8, 2018Updated 7 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.
- A Whitespace-Based Dependently Typed Functional Programming Language☆16Mar 29, 2017Updated 9 years ago
- ►☆18May 19, 2011Updated 15 years ago
- My research on tc358743☆11Sep 28, 2019Updated 6 years ago
- Type theory + whales and syntax☆11Nov 28, 2019Updated 6 years ago
- Blogging in mkdocs☆15Jan 21, 2022Updated 4 years ago
- OpenFaaS function for Caire, the content aware image resize library. (https://github.com/esimov/caire)☆13May 2, 2021Updated 5 years ago
- Scheme-ish interpreter with macros and continuations, written in C#☆13May 16, 2012Updated 14 years ago