Alternatives and similar repositories for gnome-alacritty-toggle

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

• Arturr-H / planet-game

  View on GitHub
  A planet game we're working on.
  ☆11Feb 24, 2025Updated 11 months ago
• 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
• sap-lang / sap-lang-archived

  View on GitHub
  Next-GEN Confguration Template Generation Language
  ☆12Jul 21, 2022Updated 3 years ago
• maxsnew / synthetic-domain-theory

  View on GitHub
  Experiment with synthetic domain theory in cubical agda
  ☆14Nov 8, 2022Updated 3 years ago
• DCjanus / nabu

  View on GitHub
  Make RSS great again
  ☆13Jan 24, 2021Updated 5 years ago
• openjournals / jose-papers

  View on GitHub
  Accepted JOSE papers
  ☆12Updated this week
• os2edu / os-labs-in-rust-course

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

  View on GitHub
  Bomberman inspired game made in the Bevy engine
  ☆13Jan 25, 2026Updated 2 weeks ago
• smimram / satex

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

  View on GitHub
  Aspect-oriented programming in Rust
  ☆13Nov 1, 2021Updated 4 years ago
• ncfavier / agda-stuff

  View on GitHub
  My Agda blog/lab/playground
  ☆12Jan 31, 2026Updated 2 weeks ago
• rust-formal-methods / rust-formal-methods.github.io

  View on GitHub
  ☆13Jan 28, 2026Updated 2 weeks ago
• tecosaur / org-tangle-action

  View on GitHub
  Tangle your Org files
  ☆12Feb 5, 2022Updated 4 years ago
• m00nlight / minizinc-mode

  View on GitHub
  Emacs mode for editing MiniZinc model file
  ☆12Apr 26, 2023Updated 2 years ago
• jim-ec / wgpu-compute-shader

  View on GitHub
  Minimal WGPU compute shader example
  ☆10Jul 26, 2023Updated 2 years ago
• hrvolapeter / javascript-es9-parser

  View on GitHub
  Javascript evaluator according to ECMAScript
  ☆10May 22, 2019Updated 6 years ago
• davidleon / science_rcn

  View on GitHub
  Reference implementation of a two-level RCN model
  ☆11Nov 3, 2017Updated 8 years ago
• rust-cv / meetups

  View on GitHub
  ☆16Sep 30, 2021Updated 4 years ago
• krABMaga / examples

  View on GitHub
  Examples of krABMaga Rust ABM simulation framework
  ☆14Dec 11, 2025Updated 2 months ago
• monkey2000 / LPi4A-Case

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

  View on GitHub
  partner
  ☆16Jul 25, 2018Updated 7 years ago
• machdyne / bonbon

  View on GitHub
  Bonbon Computer
  ☆15May 23, 2023Updated 2 years ago
• sweirich / lambda-calculus

  View on GitHub
  Denotational Semantics of the Untyped Lambda Calculus
  ☆17Feb 5, 2025Updated last year
• emacs-tree-sitter / treesit-langs

  View on GitHub
  Language bundle for Emacs's treesit.el
  ☆17Updated 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
• ferivoz / alquitran

  View on GitHub
  tar analysis tool
  ☆22Mar 27, 2025Updated 10 months ago
• unnohideyuki / monadic_parser_sample

  View on GitHub
  Happy & Alex を使った Monadic Parser の、なるべくコンパクトなサンプルを目指して
  ☆12Oct 9, 2014Updated 11 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
• woodruffw / upgrayedd

  View on GitHub
  Ergonomic function interposition in Rust
  ☆18Nov 24, 2025Updated 2 months 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
• doomemacs / ci

  View on GitHub
  (WIP) A Github action that sets up a Doom Emacs environment for CI/CD.
  ☆17Sep 7, 2023Updated 2 years ago
• luojia65 / tm1637-display-demo

  View on GitHub
  A brief example to adapt TM1637 8-char digit display module with STM32F103 using embedded Rust
  ☆15Feb 23, 2020Updated 5 years ago
• oakkitten / anki-delay-siblings

  View on GitHub
  ☆12Dec 28, 2023Updated 2 years ago
• RedPRL / agda-mugen

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

  View on GitHub
  Enter complex key sequences with ease!
  ☆14Sep 17, 2025Updated 4 months ago
• scala / scala3-mill-example-project

  View on GitHub
  ☆18Jan 22, 2026Updated 3 weeks ago
• jmcomets / tcmalloc-rs

  View on GitHub
  A drop-in GlobalAlloc implementation using tcmalloc from gperftools.
  ☆20Nov 2, 2023Updated 2 years ago
• intel / wayland-tracker

  View on GitHub
  Wayland protocol dumper
  ☆24Aug 4, 2022Updated 3 years ago