My attempt to write a runtime environment and debugger for the Alpha-Notation used in my SysInf lecture.
☆24Jun 22, 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:
- v0.1.0-beta video: Example of an dark-mode toggle button based on progressive enhancement.☆13Mar 2, 2023Updated 3 years ago
- Experimental iroh custom transport for TOR☆16Jun 15, 2026Updated last month
- Use this application to convert your exported WhatsApp chat to a CSV, Excel or ODS file.☆19Aug 4, 2023Updated 2 years ago
- VoteSwiper helps citizens to find a political party that matches their own views in a playful way.☆25Jul 20, 2026Updated last week
- Java program to analyze music and control lights through an Arduino accordingly☆26Jan 28, 2016Updated 10 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- 🧬 Material Icons for Dioxus☆40Nov 8, 2025Updated 8 months ago
- Native port of Tabby electron app☆26Jan 6, 2023Updated 3 years ago
- Platform-agnostic Rust driver for the PCA9685 I2C 16-channel, 12-bit PWM/Servo/LED controller☆41Jul 18, 2024Updated 2 years ago
- About Telescope extension wrapper around `:changes`☆11Jun 28, 2023Updated 3 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☆12Jul 2, 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 4 months ago
- Data analityics and dashboards about your perfomance inside neovim?☆13May 22, 2024Updated 2 years ago
- POC of plugin that will be called `nvim-automa`☆12May 12, 2024Updated 2 years ago
- 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.
- A live, read-only Docker metrics dashboard for your terminal — CPU sparklines, memory gauges, network I/O. Built with Ratatui.☆15Jul 8, 2026Updated 3 weeks ago
- sonictemplate-vim integration☆14Nov 20, 2023Updated 2 years ago
- ☆12Nov 23, 2025Updated 8 months ago
- async compile on neovim☆12Aug 17, 2023Updated 2 years ago
- Jira source for nvim-cmp☆13Sep 25, 2023Updated 2 years ago
- A neovim plugin to show a timer in a floating window☆10Jul 26, 2022Updated 4 years ago
- Useful snippets for neorg☆11Apr 20, 2022Updated 4 years ago
- A standalone plugin lazy loader for Neovim☆13May 19, 2023Updated 3 years ago
- ☆14Updated this week
- 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.
- 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 3 months ago
- Step through and debug AI agent traces without leaving your terminal. Written in Rust.☆16Jun 25, 2026Updated last month
- A cross-platform implementation of Dirman in Rust.☆11Jul 31, 2023Updated 2 years ago
- Maubot plugin to moderate NSFW images☆10Feb 16, 2026Updated 5 months ago
- Dioxus Neovim Plugin☆13Nov 26, 2025Updated 8 months ago
- Neovim plugin to convert Markdown to HTML in pure Lua☆12Apr 19, 2023Updated 3 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- 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
- ☆12Jul 18, 2026Updated last week
- monkey interpreter (from thorsten ball's [he's an author, btw] book).☆15Nov 9, 2022Updated 3 years ago
- A command line comic reader and collection manager☆15Jun 8, 2025Updated last year
- ☆16Jan 10, 2022Updated 4 years ago
- Rust unified messaging hub. Feature clone of Heathrow for multi-source email and messaging.☆19Updated this week