🎨 A theme for the Zed text editor that utilises your wal colour scheme
☆29Jul 4, 2025Updated last year
Alternatives and similar repositories for zed-theme-wal
Users that are interested in zed-theme-wal are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Mirror. Canonical repository available at https://git.cedarcrypt.org.☆28Oct 20, 2026Updated last week
- Faster, Smaller, Harder HPKE for Rust☆30Aug 23, 2026Updated 2 months ago
- dom-like layout for terminal applications☆13Dec 27, 2020Updated 5 years ago
- Ambient Authority☆22Jun 30, 2023Updated 3 years ago
- MnemOS Global Networking Protocol☆16Jan 26, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A set of cryptographic proofs for simple protocols, to be formalised in various tools.☆28Oct 19, 2026Updated 2 weeks ago
- An async allocator with Fun™️ unsafe Rust☆18Jun 4, 2023Updated 3 years ago
- ☁️ Comfy terminal dictionary navigator☆18Sep 1, 2026Updated 2 months ago
- theme inspired by transfem emo aesthetics - special for cat girls 💜😺☆11Sep 29, 2026Updated last month
- Elegant dark theme for Zed Code Editor☆27May 7, 2026Updated 5 months ago
- AES Galois Extended Mode☆24Feb 9, 2026Updated 8 months ago
- A simple tool for backing up and rotating ZFS snapshots☆25Jun 3, 2026Updated 5 months ago
- 🎠 A carousel component for bubbletea applications☆10Apr 10, 2023Updated 3 years ago
- A tool for verifying transitions in cryptographic game-hopping proofs☆24Updated this week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Observable LC3 Virtual Machine☆13Mar 7, 2026Updated 7 months ago
- Post-Quantum Algorithms for HPKE☆13Jul 6, 2026Updated 3 months ago
- DJS Crypto Library☆12Jan 29, 2015Updated 11 years ago
- Stupidly simple Rust crate to render a QR code in the terminal.☆74Sep 25, 2024Updated 2 years ago
- New & updated Plugins, Components and other useful stuff!☆12Jul 10, 2026Updated 3 months ago
- Rust port of the Tamarin Prover☆14Updated this week
- Jammy Key framework☆11Updated this week
- My Visual Studio Color Schemes☆12Apr 14, 2010Updated 16 years ago
- ☆13Sep 14, 2022Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Project to formally verify SPQR using Lean☆11Updated this week
- ❄️ Declarative NixOS with Nix Flake☆34Oct 22, 2026Updated last week
- A Python wrapper for te spectroscopy program PGopher☆14Oct 19, 2023Updated 3 years ago
- Font and HTML editor for 12 hole ocarina tabs☆14Feb 9, 2017Updated 9 years ago
- Hover definitions for Ghostty's configuration file☆24Dec 22, 2023Updated 2 years ago
- Howto on getting Affinity Photo, Designer and Publisher running in a distrobox☆10Nov 3, 2024Updated last year
- A new way of making themes for the Zed editor☆17Jul 28, 2025Updated last year
- Static Pointer Analyzer and Transpiler from C to Safe Rust☆24Jan 4, 2026Updated 9 months ago
- ☆12May 8, 2025Updated last year
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- The "Oxocarbon Theme for Zed" brings the sleek, modern aesthetics inspired by IBM Carbon Design System to your Zed editor. This theme is …☆24Feb 24, 2025Updated last year
- This repository contains notebooks developed to help people use the Riot Api to generate their unique DataFrame.☆11Nov 23, 2022Updated 3 years ago
- A template for creating journals in Typst☆13May 14, 2023Updated 3 years ago
- ☆20Sep 5, 2026Updated last month
- Rust library for displaying compiler diagnostics like rustc☆25Jul 22, 2023Updated 3 years ago
- Seamless Voice Interactions with LLMs☆12Oct 28, 2023Updated 3 years ago
- 🐈⬛ Soothing place for the community☆17May 26, 2024Updated 2 years ago