namtzigla / oh-my-tmuxView external linksLinks
Pretty + versatile self-contained tmux configuration
☆65May 29, 2020Updated 5 years ago
Alternatives and similar repositories for oh-my-tmux
Users that are interested in oh-my-tmux are comparing it to the libraries listed below
Sorting:
- ☆23Jun 19, 2024Updated last year
- A design automation framework to engineer decision diagrams yourself☆25Feb 9, 2026Updated last week
- ☆10Feb 9, 2024Updated 2 years ago
- Constitucion.al☆11Aug 19, 2023Updated 2 years ago
- An on-chain Turing machine library and interpreter for the NEO VM, i.e. the first universal dApp.☆13Aug 31, 2018Updated 7 years ago
- 4x4 matrix keypads integrated into ESPHome/Home assistant able to control Nuki locks as well as your Home Assistant home alarm.☆11Aug 9, 2021Updated 4 years ago
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 2024Updated last year
- A simple tool to demonstrate the physical design steps of VLSI Design Flow.☆10Dec 13, 2020Updated 5 years ago
- 不定期更新爬取各国网站的爬虫源码☆10Aug 15, 2018Updated 7 years ago
- Scripts for Digital Design flow control.☆16Oct 30, 2025Updated 3 months ago
- ELVE : ELVE Logic Visualization Engine☆11Jul 2, 2017Updated 8 years ago
- OpenTitan FI formal verification framework☆16Aug 29, 2023Updated 2 years ago
- Project Template for IHP. Used by ihp-new. License: MIT☆11Jan 22, 2026Updated 3 weeks ago
- Vulkan layer to force a specific device to be used☆13Nov 9, 2023Updated 2 years ago
- Post from vim directly to slack☆13Apr 27, 2021Updated 4 years ago
- ☆11Jul 1, 2025Updated 7 months ago
- 💫 ANSI colors library for Lua.☆12Dec 5, 2022Updated 3 years ago
- Collection of ROS packages to enable MoveIt!, move_base, FlexBE, etc. for the Kuka YouBot.☆11Nov 10, 2015Updated 10 years ago
- Ansible☆11Mar 10, 2019Updated 6 years ago
- This repo serves the YouTube channel devops-toolbox☆10Dec 29, 2022Updated 3 years ago
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆13Mar 27, 2025Updated 10 months ago
- Pacman wrapper/frontend to emulate Gentoo's "emerge" package management tool on ArchLinux systems☆10Sep 26, 2022Updated 3 years ago
- ☆14Oct 11, 2024Updated last year
- Load and unload a `.abbr` file when entering and leaving directories.☆11Mar 30, 2024Updated last year
- Synthesiser for Asynchronous Verilog Language☆20Oct 29, 2014Updated 11 years ago
- An Electron Discord app designed for use on Linux systems.☆11Oct 23, 2020Updated 5 years ago
- A zed theme inspired by Gleam's colours☆13Jul 16, 2024Updated last year
- Exchange Python-Graph-Objects between networkx, igraph and graph-tools☆12Mar 15, 2024Updated last year
- 将 flomo 的笔记导入 Heptabase☆12Aug 3, 2022Updated 3 years ago
- A fork of Yosys that integrates the CellIFT pass☆13Jul 23, 2025Updated 6 months ago
- Silvery Themes For Plasma Desktop☆11Dec 12, 2025Updated 2 months ago
- DNS-Blocklists: For a better internet - keep the internet clean!☆11Feb 1, 2026Updated 2 weeks ago
- Hardcaml Verification Tools☆14Jan 15, 2026Updated last month
- Useful information for Bulgarian-language users of Linux and F(L)OSS (free, libre, and open-source software), among other things --- Поле…☆13Jul 20, 2022Updated 3 years ago
- Gives you a CLI menu with some common maintenance options inside an Arch Linux system☆10Feb 14, 2021Updated 5 years ago
- Boolean expression parser☆10Dec 19, 2022Updated 3 years ago
- The Non Bloated Database Engine - In Bash☆11Apr 1, 2015Updated 10 years ago
- BabyTV running on Atmega328p and using WS2812B display☆11Feb 19, 2018Updated 7 years ago
- My neovim config☆10Jan 31, 2026Updated 2 weeks ago