chuwy / notify.hxView external linksLinks
A notification engine for Helix
☆29Feb 7, 2026Updated last week
Alternatives and similar repositories for notify.hx
Users that are interested in notify.hx are comparing it to the libraries listed below
Sorting:
- A curated list of awesome Helix editor resources, plugins, themes, and tools.☆112Jan 13, 2026Updated last month
- Helix client for GhostText - Edit browser text areas in Helix (or another editor!)☆54Jun 2, 2025Updated 8 months ago
- Use Helix to edit text in the browser!☆66Nov 6, 2025Updated 3 months ago
- Statically typed functional programming language.☆11Jan 25, 2026Updated 2 weeks ago
- Markdown-compatible AI-Powered Terminal Notepad☆14Apr 24, 2025Updated 9 months ago
- Home Assistant to TRMNL API bridge aggregator with authentication, timezone handling, and Docker deployment support☆15Jun 14, 2025Updated 8 months ago
- Web game, clone of Chrome's dinosaur game.☆10Jan 5, 2023Updated 3 years ago
- ☕️ Bringing a hot cup of joe to terminals everywhere☆14Dec 28, 2025Updated last month
- Firmware for the Macchina M2 to use your car as a sim racing controller☆13Jan 5, 2021Updated 5 years ago
- ☆10Nov 14, 2022Updated 3 years ago
- ☆23Updated this week
- Helix bindings for zsh☆45Feb 3, 2026Updated last week
- 📁 ○ ○ ○ dotfolders and dotfiles☆16Updated this week
- ☆11May 2, 2023Updated 2 years ago
- 🐶 Soothing pastel theme for Kagi☆11May 31, 2023Updated 2 years ago
- The Ruby Error Steamroller☆20Sep 17, 2013Updated 12 years ago
- introduction to dataflow analysis using julia☆14Oct 26, 2020Updated 5 years ago
- Open-source interface to a user's defaults on macOS.☆15Dec 21, 2025Updated last month
- A OCaml generator for well-typed terms (that use their arguments).☆11Feb 22, 2025Updated 11 months ago
- A 1014 Byte ELF64/DOS.COM/GameBoy/Megadrive/PDF/ARJ/PKZIP/7zip Polyglot Binary☆13Sep 8, 2022Updated 3 years ago
- Slightly outdated solver for Threat Metrix anti-bot☆24Dec 11, 2025Updated 2 months ago
- A programming language that deduces code from tests☆30Jan 8, 2018Updated 8 years ago
- Encrypt and decrypt files in a browser, as easy as upload and download a file☆15Jun 5, 2024Updated last year
- Helix plugin to bookmark files and quickly switch between them☆18Feb 1, 2026Updated last week
- Lean 4 library of tools for parsing and compiling syntax and parser definitions.☆16Dec 10, 2023Updated 2 years ago
- ☆11Mar 27, 2021Updated 4 years ago
- Original Joy☆10Dec 17, 2024Updated last year
- Regular expression matching in Idris☆11Apr 27, 2016Updated 9 years ago
- The Bavarian card game of Schafkopf, played by RL agents!☆10May 6, 2020Updated 5 years ago
- [⚠️ WIP] ALMOは拡張Markdownパーサ・静的サイトジェネレータです。WebAssemblyを使ってブラウザ上で完結する実行環境を提供し、サーバを必要としないサンプルコードの実行環境やジャッジシステムを提供するページの構築を可能にします。☆16Oct 28, 2025Updated 3 months ago
- Functions and proofs about game trees in Rocq, implemented as rose trees.☆12Dec 2, 2025Updated 2 months ago
- A command-line parser for Standard ML☆21Dec 29, 2025Updated last month
- Multi-arch Docker images for Idris 2☆13Updated this week
- ☆12Nov 20, 2025Updated 2 months ago
- My servers and stuff in nix☆14Feb 4, 2026Updated last week
- SPM toolchain to cross compile macOS Swift binaries on a Raspberry Pi (yes, you read that right)☆12Feb 2, 2018Updated 8 years ago
- Indexed Functors for GHC 7.6☆22Aug 20, 2019Updated 6 years ago
- ☆12Nov 5, 2024Updated last year
- Given a marked-ast AST generate markdown output☆10Apr 14, 2022Updated 3 years ago