My attempt to write a runtime environment and debugger for the Alpha-Notation used in my SysInf lecture.
☆21Nov 24, 2025Updated 4 months ago
Alternatives and similar repositories for alpha_tui
Users that are interested in alpha_tui are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- My personal NixOS infrastructure☆102Updated this week
- A Docker based LDAP RCE exploit demo for CVE-2021-44228 Log4Shell☆72Dec 21, 2022Updated 3 years ago
- My user setup for [NixOS](nixos.org) Desktops.☆19Apr 10, 2021Updated 5 years ago
- A flask endpoint for Glance serverstatus widget for remote servers☆15Jun 19, 2025Updated 9 months ago
- Wespenstock CRS☆63Mar 8, 2026Updated last month
- 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.
- About Telescope extension wrapper around `:changes`☆11Jun 28, 2023Updated 2 years ago
- A multithreaded tree-sitter parsing library.☆11Dec 31, 2023Updated 2 years ago
- A bunch of shell scripts and small rust programs for my personal use☆12Apr 2, 2026Updated 2 weeks ago
- Manage lockfiles in PKGBUILDs for upstreams that don't ship them, `updpkgsums` for dependency trees (Arch Linux tooling)☆14Mar 13, 2026Updated last month
- POC of plugin that will be called `nvim-automa`☆12May 12, 2024Updated last year
- sonictemplate-vim integration☆14Nov 20, 2023Updated 2 years ago
- ☆12Nov 23, 2025Updated 4 months ago
- async compile on neovim☆12Aug 17, 2023Updated 2 years ago
- Jira source for nvim-cmp☆13Sep 25, 2023Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Linux CLI tool to forward TCP connections from one network namespace to another network namespace☆15Feb 15, 2026Updated 2 months ago
- A neovim plugin to show a timer in a floating window☆10Jul 26, 2022Updated 3 years ago
- Useful snippets for neorg☆11Apr 20, 2022Updated 3 years ago
- A local-first, terminal-based password manager built for people who care about security, simplicity, and control☆37Dec 31, 2025Updated 3 months ago
- A webhook server that schedules commands on request. Uses Pueue as executor backend.☆18Apr 2, 2026Updated 2 weeks ago
- Authenticate a tarball through a signed tag in a git repository (with reproducible builds)☆17May 28, 2022Updated 3 years ago
- plugin☆10Mar 26, 2023Updated 3 years ago
- nvim-cmp source for neosnippet☆12Jan 6, 2022Updated 4 years ago
- enumerating git status☆11Jun 10, 2024Updated last year
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- neovim telescope extension, api endpoint finder in spring or spring-boot project☆13Sep 6, 2025Updated 7 months ago
- Extracts (tangles) code fragments from Markdown documents.☆17May 20, 2024Updated last year
- ☆14Updated this week
- A cross-platform implementation of Dirman in Rust.☆11Jul 31, 2023Updated 2 years ago
- Maubot plugin to moderate NSFW images☆10Feb 16, 2026Updated last month
- Yazi previewer multiplexer☆24Mar 28, 2026Updated 2 weeks ago
- Simple utility to convert norg files to html☆12Dec 18, 2022Updated 3 years ago
- Neovim plugin to convert Markdown to HTML in pure Lua☆12Apr 19, 2023Updated 2 years ago
- ☆12Apr 8, 2026Updated last 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.
- monkey interpreter (from thorsten ball's [he's an author, btw] book).☆15Nov 9, 2022Updated 3 years ago
- See useful diagnostics right from your rocks.toml☆19Sep 27, 2024Updated last year
- A cross-platform GPU monitor TUI with support for both Apple Silicon and NVIDIA GPUs.☆85Mar 5, 2026Updated last month
- ☆16Jan 10, 2022Updated 4 years ago
- A command line comic reader and collection manager☆15Jun 8, 2025Updated 10 months ago
- Dioxus Neovim Plugin☆13Nov 26, 2025Updated 4 months ago
- LSP inline hints for Lua, intended for use with Neovim.☆15May 31, 2023Updated 2 years ago