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