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:
- Generic bot to start with based on discord.py☆14Feb 8, 2026Updated last month
- My personal NixOS infrastructure☆102Mar 15, 2026Updated last week
- Customizable discord bot for voice channels on demand and breakout rooms☆12Nov 13, 2021Updated 4 years ago
- My user setup for [NixOS](nixos.org) Desktops.☆19Apr 10, 2021Updated 4 years ago
- A flask endpoint for Glance serverstatus widget for remote servers☆15Jun 19, 2025Updated 9 months ago
- German laws from https://www.gesetze-im-internet.de/ in plain text format (updated daily)☆42Mar 15, 2026Updated last week
- Wespenstock CRS☆61Mar 8, 2026Updated 2 weeks ago
- 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☆12Mar 1, 2026Updated 3 weeks ago
- Manage lockfiles in PKGBUILDs for upstreams that don't ship them, `updpkgsums` for dependency trees (Arch Linux tooling)☆14Mar 13, 2026Updated last week
- 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
- Linux CLI tool to forward TCP connections from one network namespace to another network namespace☆15Feb 15, 2026Updated last month
- A neovim plugin to show a timer in a floating window☆11Jul 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 2 months ago
- A webhook server that schedules commands on request. Uses Pueue as executor backend.☆18Mar 2, 2026Updated 3 weeks ago
- A standalone plugin lazy loader for Neovim☆13May 19, 2023Updated 2 years 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 2 years ago
- nvim-cmp source for neosnippet☆12Jan 6, 2022Updated 4 years ago
- enumerating git status☆11Jun 10, 2024Updated last year
- neovim telescope extension, api endpoint finder in spring or spring-boot project☆13Sep 6, 2025Updated 6 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
- A cross-platform GPU monitor TUI with support for both Apple Silicon and NVIDIA GPUs.☆79Mar 5, 2026Updated 2 weeks ago
- Maubot plugin to moderate NSFW images☆10Feb 16, 2026Updated last month
- Yazi previewer multiplexer☆22Jan 5, 2026Updated 2 months ago
- Simple utility to convert norg files to html☆12Dec 18, 2022Updated 3 years ago
- Small crate for interacting with cargo registry indices☆28Mar 17, 2026Updated last week
- Neovim plugin to convert Markdown to HTML in pure Lua☆12Apr 19, 2023Updated 2 years ago
- ☆12Mar 16, 2026Updated last week
- 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
- ☆16Jan 10, 2022Updated 4 years ago