Collection of diagrams from articles
☆29Feb 17, 2025Updated last year
Alternatives and similar repositories for diagrams
Users that are interested in diagrams are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- USENIX 2023 Artifacts☆12Nov 25, 2022Updated 3 years ago
- Google Chrome extension to add custom JS & CSS to any website and store it in your Google account☆13Jul 14, 2026Updated last month
- ☆10Feb 11, 2023Updated 3 years ago
- repl plugin for neovim built on textobjects☆14Feb 1, 2023Updated 3 years ago
- I am still working on it☆11Apr 30, 2020Updated 6 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A Matrix client as a FUSE filesystem.☆31Jun 5, 2020Updated 6 years ago
- A lightweight integrating markup language☆16Feb 24, 2020Updated 6 years ago
- Abstract machines for functional programming languages☆16Feb 22, 2019Updated 7 years ago
- 台灣水庫即時水情與歷年統計☆16Updated this week
- Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…☆15May 22, 2024Updated 2 years ago
- Debug on tap.☆17Aug 21, 2016Updated 10 years ago
- ☆17Apr 4, 2024Updated 2 years ago
- An online game (like the good old browsergames) which can be played via a REST interface☆15Oct 27, 2017Updated 8 years ago
- CLI utility to move (or rename) your files to a new location and redirect all of its symbolic links, to the new path☆20Mar 5, 2021Updated 5 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆13Dec 28, 2019Updated 6 years ago
- Events, behaviors, and uneventful misbehaving☆18Apr 13, 2026Updated 4 months ago
- A formalization of System Fω in Agda☆20Dec 23, 2025Updated 8 months ago
- RAML (1.0) parser implementation in golang☆15Apr 30, 2019Updated 7 years ago
- Minimal core language based on dependent function type, pair type, recursive type, sum type and record type.☆16Mar 17, 2026Updated 5 months ago
- googlesheetsparser is a library for dynamically parsing Google Sheets into Golang structs.☆18Oct 19, 2022Updated 3 years ago
- BOF and C++ implementation of the Windows Defender sandboxing technique described by Elastic Security Labs/Gabriel Landau.☆25Jul 5, 2023Updated 3 years ago
- contributions to Giac computer algebra system☆15Apr 1, 2023Updated 3 years ago
- XSLT Functions for Transpect☆13Aug 31, 2026Updated last week
- 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.
- An example of how you can use JSONSchema & RAML to document and validate your API☆15Aug 27, 2015Updated 11 years ago
- ☆14Apr 2, 2025Updated last year
- Interpreter for λ̅μμ̃-calculus of Herbelin and Curien (for educational purposes).☆20Oct 8, 2020Updated 5 years ago
- eXecutable Wiki for Kakoune!☆15Feb 6, 2026Updated 7 months ago
- Flixproxy - DNS, HTTP and TLS proxy (golang)☆19Feb 25, 2023Updated 3 years ago
- A collection of awesome Purescript libraries, resources and shiny things.☆20Jul 25, 2023Updated 3 years ago
- Search comments and highlights annotations in PDF documents.☆12May 4, 2023Updated 3 years ago
- Sockets library written in POSIX C, Easy to use, inspired by socket.io☆17Sep 13, 2016Updated 9 years ago
- Tree sitter grammar for S-expressions☆25Dec 5, 2020Updated 5 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Nominal logic programming extensions to miniKanren, based on alphaProlog.☆26Jan 19, 2014Updated 12 years ago
- ☆14Sep 2, 2020Updated 6 years ago
- Build web applications with Go. #golang #go☆20Sep 27, 2021Updated 4 years ago
- Bidirectional Binding Signature and Bidirectional Type Synthesis, Generically☆21Jan 30, 2024Updated 2 years ago
- A list of tools for publishing and consuming Linked Data.☆24Mar 7, 2017Updated 9 years ago
- A systems programming language with lexical effect handlers☆19Aug 26, 2026Updated last week
- Web application that uses Open XML SDK to configure Office documents to automatically open a specified add-in.☆23Jul 8, 2020Updated 6 years ago