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:
- stream editor with sam structural regular expressions☆11Aug 23, 2022Updated 3 years ago
- Yummy is yet another Winamp clone. It supports Winamp plugins, services, classic skins and modern skins. It does NOT depend on GTK+, Qt o…☆11Jul 20, 2023Updated 3 years ago
- A Matrix client as a FUSE filesystem.☆31Jun 5, 2020Updated 6 years ago
- an implementation of gradual typing in mit-scheme☆10Apr 11, 2021Updated 5 years ago
- ☆12Updated this week
- 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 lightweight integrating markup language☆16Feb 24, 2020Updated 6 years ago
- A Vim9.1 plugin for managing three-way merges; pure vim9script.☆15Aug 28, 2024Updated last year
- Git helper☆13Mar 27, 2026Updated 4 months ago
- The fourth incarnation of loading Winamp Classic Skins in the Modern Skin engine☆13May 7, 2023Updated 3 years ago
- Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…☆16May 22, 2024Updated 2 years ago
- ☆15Nov 4, 2025Updated 8 months ago
- Specification of the Cedille Core language☆36Jul 21, 2020Updated 6 years ago
- Keyboard oriented Acme style editing for Neovim☆12Dec 8, 2021Updated 4 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
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Winamp plugin to play SID files, based on libsidplayfp library.☆11Dec 13, 2025Updated 7 months ago
- My Emacs configuration☆19Mar 24, 2026Updated 4 months ago
- Events, behaviors, and uneventful misbehaving☆17Apr 13, 2026Updated 3 months ago
- Reason about Term Rewriting Systems☆19Jul 24, 2022Updated 4 years ago
- A formalization of System Fω in Agda☆20Dec 23, 2025Updated 7 months ago
- Minimal core language based on dependent function type, pair type, recursive type, sum type and record type.☆16Mar 17, 2026Updated 4 months ago
- Notes written while consulting for the Higher Order Company☆17Sep 27, 2025Updated 10 months ago
- contributions to Giac computer algebra system☆15Apr 1, 2023Updated 3 years ago
- Compiler for the fort programming language☆14Jun 30, 2025Updated last year
- 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.
- reupload of s, used to have 100 stars☆78Jan 8, 2021Updated 5 years ago
- Interpreter for λ̅μμ̃-calculus of Herbelin and Curien (for educational purposes).☆20Oct 8, 2020Updated 5 years ago
- eXecutable Wiki for Kakoune!☆15Feb 6, 2026Updated 5 months ago
- Swedish accounting. All our Odoo Modules can be found at https://vertel.se/apps☆17Jul 10, 2026Updated 2 weeks ago
- ☆15Jul 16, 2026Updated last week
- Category theory concepts in type classes and instances.☆23Jun 27, 2026Updated last month
- A type theory for tiny objects☆20Mar 6, 2026Updated 4 months ago
- Pop-up LastPass desktop quick-search. Output the selection to the clipboard or have xdotool type it out for you.☆10Aug 8, 2024Updated last year
- A joystick module for GMod, originally by NightEagle.☆18Jul 8, 2025Updated last year
- 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.
- ☆14Sep 2, 2020Updated 5 years ago
- Nominal logic programming extensions to miniKanren, based on alphaProlog.☆26Jan 19, 2014Updated 12 years ago
- Repo for PDF versions of all LIDAR-Lite Documentation☆15Jan 7, 2016Updated 10 years ago
- Traditional roguelike game with pixel-art graphics and simple interface☆13Jul 1, 2021Updated 5 years ago
- xSF Winamp plugins (2SF, GSF, NCSF, SNSF)☆20Aug 22, 2024Updated last year
- ☆15May 23, 2018Updated 8 years ago
- A community-maintained package to easily install Alacritty on Linux☆12Jun 10, 2026Updated last month