My attempt to write a runtime environment and debugger for the Alpha-Notation used in my SysInf lecture.
☆24Aug 3, 2026Updated last month
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 7 months ago
- Customizable discord bot for voice channels on demand and breakout rooms☆12Nov 13, 2021Updated 4 years ago
- My personal NixOS infrastructure☆102Updated this week
- Repository holds summaries from my computer science studies at the University of Bonn☆35Nov 15, 2024Updated last year
- v0.1.0-beta video: Example of an dark-mode toggle button based on progressive enhancement.☆13Mar 2, 2023Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Experimental iroh custom transport for TOR☆19Jun 15, 2026Updated 3 months ago
- My user setup for [NixOS](nixos.org) Desktops.☆19Apr 10, 2021Updated 5 years ago
- Label tag printer API for NIIMBOT D110 label printer.☆52Jan 28, 2024Updated 2 years ago
- 🧬 Material Icons for Dioxus☆39Nov 8, 2025Updated 10 months ago
- Platform-agnostic Rust driver for the PCA9685 I2C 16-channel, 12-bit PWM/Servo/LED controller☆41Jul 18, 2024Updated 2 years ago
- Java library for parsing schools' substitution schedules. Supports multiple different systems mainly used in the German-speaking countrie…☆47Sep 11, 2026Updated 2 weeks ago
- A multithreaded tree-sitter parsing library.☆12Dec 31, 2023Updated 2 years ago
- A bunch of shell scripts and small rust programs for my personal use☆13Updated this week
- Manage lockfiles in PKGBUILDs for upstreams that don't ship them, `updpkgsums` for dependency trees (Arch Linux tooling)☆14Mar 13, 2026Updated 6 months ago
- 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.
- Data analityics and dashboards about your perfomance inside neovim?☆12May 22, 2024Updated 2 years ago
- A webhook server that schedules commands on request. Uses Pueue as executor backend.☆20Sep 4, 2026Updated 3 weeks ago
- POC of plugin that will be called `nvim-automa`☆12May 12, 2024Updated 2 years ago
- A live, read-only Docker metrics dashboard for your terminal — CPU sparklines, memory gauges, network I/O. Built with Ratatui.☆15Jul 8, 2026Updated 2 months ago
- sonictemplate-vim integration☆14Nov 20, 2023Updated 2 years ago
- ☆12Nov 23, 2025Updated 10 months ago
- async compile on neovim☆12Aug 17, 2023Updated 3 years ago
- Jira source for nvim-cmp☆13Sep 25, 2023Updated 3 years ago
- A neovim plugin to show a timer in a floating window☆10Jul 26, 2022Updated 4 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A terminal-native prompt composer for power users running multiple coding agents.☆42Updated this week
- Useful snippets for neorg☆11Apr 20, 2022Updated 4 years ago
- A standalone plugin lazy loader for Neovim☆13May 19, 2023Updated 3 years ago
- ☆15Updated this week
- Authenticate a tarball through a signed tag in a git repository (with reproducible builds)☆17May 28, 2022Updated 4 years ago
- nvim-cmp source for neosnippet☆12Jan 6, 2022Updated 4 years ago
- plugin☆10Mar 26, 2023Updated 3 years ago
- Extracts (tangles) code fragments from Markdown documents.☆17Apr 10, 2026Updated 5 months ago
- Step through and debug AI agent traces without leaving your terminal. Written in Rust.☆16Jun 25, 2026Updated 3 months ago
- 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 terminal idle eye candy for Linux. Animated pixel-art scenes take over your idle shell and vanish on any keypress.☆66Jul 23, 2026Updated 2 months ago
- A cross-platform implementation of Dirman in Rust.☆11Jul 31, 2023Updated 3 years ago
- Maubot plugin to moderate NSFW images☆10Feb 16, 2026Updated 7 months ago
- Dioxus Neovim Plugin☆13Nov 26, 2025Updated 10 months ago
- Neovim plugin to convert Markdown to HTML in pure Lua☆12Apr 19, 2023Updated 3 years ago
- Simple utility to convert norg files to html☆12Dec 18, 2022Updated 3 years ago
- Neovim plugin to interact with terminal buffers☆17Jan 14, 2023Updated 3 years ago