Remove the headerbar from the gnome terminal
☆53May 11, 2025Updated 10 months ago
Alternatives and similar repositories for terminal-guillotine
Users that are interested in terminal-guillotine are comparing it to the libraries listed below
Sorting:
- Data analityics and dashboards about your perfomance inside neovim? yeah 📊☆12May 22, 2024Updated last year
- Library of common cryptographic algorithms and functions for Pony☆12Jul 16, 2025Updated 7 months ago
- Sway/i3-like scratchpad functionality for Gnome.☆11Jan 14, 2026Updated last month
- A blazingly fast Rust-based large file opener plugin for Neovim☆63Updated this week
- A powerful and user-friendly Typst package for drawing physics diagrams.☆16Dec 24, 2025Updated 2 months ago
- A set of cryptographic proofs for simple protocols, to be formalised in various tools.☆21Mar 3, 2026Updated last week
- ☆15Updated this week
- ☆12Feb 9, 2026Updated last month
- implementation of bk-tree for golang☆11Jan 25, 2021Updated 5 years ago
- ☆12Nov 18, 2025Updated 3 months ago
- Vcsh hooks for better git submodules support. Check wiki for README☆13Jan 10, 2021Updated 5 years ago
- a modern italic serif typeface with optical size☆15Oct 17, 2025Updated 4 months ago
- A constant-time library for big integers modulo a prime, usable for cryptographic applications. Exported from crypto/internal/bigmod, the…☆14Jan 3, 2026Updated 2 months ago
- Hover - Temporary home directories☆15Nov 5, 2023Updated 2 years ago
- ☆13Jun 11, 2024Updated last year
- ☆17Apr 1, 2025Updated 11 months ago
- Work with systemd.time like calendar events in Scala☆15Feb 10, 2026Updated last month
- ☆15Updated this week
- Symmetric Partial Homomorphic Encryption☆15Oct 13, 2020Updated 5 years ago
- A lightweight Scala DSL for system testing REST web services☆24Jun 19, 2014Updated 11 years ago
- OSSE and LLSE: two SSE schemes with optimal and quasi-optiaml search time☆12May 22, 2022Updated 3 years ago
- ☆13Nov 15, 2017Updated 8 years ago
- Open BlackBox from Nautilus.☆60Sep 20, 2025Updated 5 months ago
- A tool for verifying game-hopping proofs☆15Mar 4, 2026Updated last week
- A GNOME extension to add QoL changes to the App Switcher.☆14Dec 7, 2025Updated 3 months ago
- ☆24Jul 29, 2024Updated last year
- Datify is a Typst package for flexible, locale-aware date formatting. It leverages datify-core for internationalization and supports CLDR…☆20Feb 1, 2026Updated last month
- ☆13Apr 25, 2024Updated last year
- A simple command-line tool to help you calibrate your sleep schedule.☆24Jul 6, 2025Updated 8 months ago
- For your premium derivations☆19Jul 17, 2025Updated 7 months ago
- ☆14Aug 4, 2016Updated 9 years ago
- Toolbox to create scalacheck tests for Swagger APIs☆18May 28, 2019Updated 6 years ago
- A list of cryptography books, papers, blog posts, presentations, and Q&A answers.☆19Sep 24, 2023Updated 2 years ago
- Learn distributed systems in Scala using ZIO and Maelstrom☆18Oct 19, 2025Updated 4 months ago
- This project can help you understand wrk's scripting capabilities.☆12Dec 20, 2016Updated 9 years ago
- seed files used in UNIFUZZ experiments☆14Mar 17, 2021Updated 4 years ago
- Demo code for Concurrent and Distributed Systems course☆21Nov 7, 2024Updated last year
- ☆18Oct 30, 2023Updated 2 years ago
- Autodocumented Directives fo akka-http.☆17Jul 29, 2024Updated last year