axxapy/gnome-alacritty-toggle external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

axxapy/gnome-alacritty-toggle

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/axxapy/gnome-alacritty-toggle)

Close

axxapy / gnome-alacritty-toggleView on GitHubMore

• External links
• Readme badge

Toggle Alacritty window by hotkey in gnome-shell

☆16Mar 28, 2025Updated 11 months ago

Alternatives and similar repositories for gnome-alacritty-toggle

Users that are interested in gnome-alacritty-toggle are comparing it to the libraries listed below

• viridia / bevy_basic_prefs

  View on GitHub
  Library for managing persistent user settings in the Bevy engine.
  ☆14Nov 30, 2024Updated last year
• planet0104 / neat-flappy-bird

  View on GitHub
  NEAT算法玩Flappy Bird(像素鸟)
  ☆16Jan 18, 2024Updated 2 years ago
• Arturr-H / planet-game

  View on GitHub
  A planet game we're working on.
  ☆11Feb 24, 2025Updated last year
• FlorianAdler / AlgebraBonn

  View on GitHub
  Lecture Notes for Algebra Lectures at the University of Bonn
  ☆14Sep 4, 2024Updated last year
• camsjams / rust_roguelike

  View on GitHub
  Rust Roguelike: Introductory Tutorial Example of Rust and Unit Testing
  ☆13Oct 16, 2019Updated 6 years ago
• sap-lang / sap-lang-archived

  View on GitHub
  Next-GEN Confguration Template Generation Language
  ☆12Jul 21, 2022Updated 3 years ago
• smimram / satex

  View on GitHub
  String diagrams in LaTeX.
  ☆17Feb 26, 2024Updated 2 years ago
• trusted-programming / cargo-aspect

  View on GitHub
  Aspect-oriented programming in Rust
  ☆13Nov 1, 2021Updated 4 years ago
• aleksa2808 / ascii-bomb-ecs

  View on GitHub
  Bomberman inspired game made in the Bevy engine
  ☆13Jan 25, 2026Updated last month
• resilar / kuppalista

  View on GitHub
  Real-time shopping list in Rust & Vanilla JS
  ☆14Jul 20, 2023Updated 2 years ago
• maxsnew / synthetic-domain-theory

  View on GitHub
  Experiment with synthetic domain theory in cubical agda
  ☆14Nov 8, 2022Updated 3 years ago
• openjournals / jose-papers

  View on GitHub
  Accepted JOSE papers
  ☆12Feb 14, 2026Updated 3 weeks ago
• os2edu / os-labs-in-rust-course

  View on GitHub
  rust-writing-os course of https://rust.os2edu.cn
  ☆11Apr 29, 2022Updated 3 years ago
• DCjanus / nabu

  View on GitHub
  Make RSS great again
  ☆13Jan 24, 2021Updated 5 years ago
• rust-cv / meetups

  View on GitHub
  ☆16Sep 30, 2021Updated 4 years ago
• machdyne / bonbon

  View on GitHub
  Bonbon Computer
  ☆15May 23, 2023Updated 2 years ago
• rust-formal-methods / rust-formal-methods.github.io

  View on GitHub
  ☆13Jan 28, 2026Updated last month
• krABMaga / examples

  View on GitHub
  Examples of krABMaga Rust ABM simulation framework
  ☆14Dec 11, 2025Updated 2 months ago
• jim-ec / wgpu-compute-shader

  View on GitHub
  Minimal WGPU compute shader example
  ☆10Jul 26, 2023Updated 2 years ago
• davidleon / science_rcn

  View on GitHub
  Reference implementation of a two-level RCN model
  ☆11Nov 3, 2017Updated 8 years ago
• hrvolapeter / javascript-es9-parser

  View on GitHub
  Javascript evaluator according to ECMAScript
  ☆10May 22, 2019Updated 6 years ago
• m00nlight / minizinc-mode

  View on GitHub
  Emacs mode for editing MiniZinc model file
  ☆12Apr 26, 2023Updated 2 years ago
• tecosaur / org-tangle-action

  View on GitHub
  Tangle your Org files
  ☆12Feb 5, 2022Updated 4 years ago
• LvThxMax / partner

  View on GitHub
  partner
  ☆16Jul 25, 2018Updated 7 years ago
• LASER-UMASS / TacTok

  View on GitHub
  The TacTok automated Coq proof script synthesis tool
  ☆17Jan 9, 2024Updated 2 years ago
• monkey2000 / LPi4A-Case

  View on GitHub
  A 3d printed case design for Lichee Pi 4A
  ☆11May 13, 2023Updated 2 years ago
• ralsei / six-eyes

  View on GitHub
  A work-in-progress structure editor for the cooltt proof assistant.
  ☆18Jul 28, 2022Updated 3 years ago
• unnohideyuki / monadic_parser_sample

  View on GitHub
  Happy & Alex を使った Monadic Parser の、なるべくコンパクトなサンプルを目指して
  ☆12Oct 9, 2014Updated 11 years ago
• ferivoz / alquitran

  View on GitHub
  tar analysis tool
  ☆22Mar 27, 2025Updated 11 months ago
• sweirich / lambda-calculus

  View on GitHub
  Denotational Semantics of the Untyped Lambda Calculus
  ☆17Feb 5, 2025Updated last year
• woodrush / lambda-calculus-devkit

  View on GitHub
  A collection of lambda calculus interpreters and development tools
  ☆16Oct 9, 2022Updated 3 years ago
• emacs-tree-sitter / treesit-langs

  View on GitHub
  Language bundle for Emacs's treesit.el
  ☆19Updated this week
• xdavidwu / qt-video-wlr

  View on GitHub
  Layer-shell Qt video player for wlroots-based wayland compositors.
  ☆13Jul 22, 2023Updated 2 years ago
• JWorthe / entelect-challenge-tower-defence

  View on GitHub
  Bot for the 2018 Entelect Challenge - Tower Defence
  ☆17Sep 19, 2018Updated 7 years ago
• EnzymeAD / Enzyme-Tutorial

  View on GitHub
  ☆20Oct 6, 2023Updated 2 years ago
• RedPRL / agda-mugen

  View on GitHub
  A formalization of the theory behind the mugen library
  ☆19Jun 24, 2024Updated last year
• RustStudy / tao_of_rust_docs

  View on GitHub
  《Rust编程之道》在线文档 :
  ☆15Jan 9, 2019Updated 7 years ago
• oakkitten / anki-delay-siblings

  View on GitHub
  ☆12Dec 28, 2023Updated 2 years ago
• Lunatic-Works / Nova2

  View on GitHub
  Programmer-friendly framework for visual novels (VN) / text-based adventure games (AVG) on Godot
  ☆20Aug 27, 2024Updated last year