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
Sorting:
- Python Markdown extension that converts inline dot graph definitions to images☆14Jan 18, 2015Updated 11 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
- ☆21Mar 15, 2016Updated 9 years ago
- Base library for HoTT in Agda☆39Apr 2, 2019Updated 6 years ago
- The KiCad library of Ultimate Gadget Laboratories☆20Nov 15, 2021Updated 4 years ago
- Session Types with Priority in Linear Haskell☆27Jun 11, 2024Updated last year
- A complete proof in Agda of the Church-Rosser theorem for untyped λ-calculus formalizing the methods by Komori-Matsuda-Yamakawa (2014) an…☆29Sep 21, 2022Updated 3 years ago
- 📘⌨️ A Racket #lang and module for making cover PDFs for printed things.☆23Nov 24, 2025Updated 3 months 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 small NuPRL style proof assistant☆31Jan 31, 2019Updated 7 years ago
- Formalised embedding of an imperative language with effect system into session-typed pi calculus.☆29Nov 28, 2024Updated last year
- Martin-Löf Extensible Specification and Simulator☆29Jul 1, 2015Updated 10 years ago
- Self-contained repository for the eponymous paper☆30Jan 11, 2019Updated 7 years ago
- Mechanizations of Type Theories☆33Jan 15, 2026Updated last month
- Formal Topology in Univalent Foundations (WIP).☆37Jul 29, 2022Updated 3 years ago
- ☆11Oct 25, 2024Updated last year
- Command line utility retrieving the properties of the current window on Linux☆33Jan 27, 2014Updated 12 years ago
- A FORTRAN implementation of a Moving Finite Volume MHD code in three dimensions including self-gravity.☆12Jan 24, 2017Updated 9 years ago
- A formalization of M-types in Agda☆36Mar 7, 2020Updated 5 years ago
- Constructive Galois connections☆36Mar 26, 2018Updated 7 years ago
- Topology library for Coq☆12Dec 24, 2015Updated 10 years ago
- ☆18Oct 9, 2018Updated 7 years ago
- a hybrid 2D code for plasma wakefield acceleration☆11Dec 23, 2018Updated 7 years ago
- ☆10Sep 18, 2015Updated 10 years ago
- Lightweight Fortran 90 Parareal for 3D Burgers' equation☆13Mar 8, 2024Updated last year
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- Create string diagrams with LaTeX!☆14Jan 3, 2025Updated last year
- Smart backup for your GMail account☆67Feb 11, 2014Updated 12 years ago
- ☆12Mar 13, 2025Updated 11 months ago
- Groupoids vs 1-Types☆11Nov 8, 2018Updated 7 years ago
- Small tagger app for Fedora Community☆15Oct 29, 2018Updated 7 years ago
- Object-oriented Utilitarian Functionality for Large-scale Physics Simulations☆12Feb 15, 2024Updated 2 years ago
- Direct Numerical Simulation of Turbulence using the Implicitly Dealiased Pseudospectral Method☆12Jun 20, 2025Updated 8 months ago
- Focused Crawler for VT's CTRNet☆10May 13, 2013Updated 12 years ago
- The CAD files for the Mirobot PCB☆12Jul 9, 2018Updated 7 years ago
- VERified asSembler for cryptographic primitives☆12Jul 15, 2023Updated 2 years ago
- An interactive command line interface for displaying the state of multiple git repositories in a single screen☆48Mar 19, 2015Updated 10 years ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated 11 months ago
- A question set for measuring employee engagement, mood and experience☆11Jan 29, 2019Updated 7 years ago