Zed fork focused on privacy and being local-first
☆27Jun 16, 2026Updated last month
Alternatives and similar repositories for zedless
Users that are interested in zedless are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A social media RSS: peer-to-peer, offline ActivityPub client for reading and following microblogs on the Fediverse.☆19Dec 5, 2024Updated last year
- Idris 2 static web blog generator. More like proof of concept, everything could change, not sure if I will put more time into that but ge…☆11Oct 28, 2024Updated last year
- Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras☆17Sep 11, 2021Updated 4 years ago
- A web app that generates random quotes☆13Jun 13, 2025Updated last year
- Interlinear glosses for pandoc☆10Feb 12, 2018Updated 8 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- XeLaTeX で和文する実験☆14Nov 6, 2022Updated 3 years ago
- Compare Nix derivations between base and PR branches using dix☆34Updated this week
- Turn off your computer the only viable way: by flipping it off☆26Updated this week
- A complete desktop environment built from scratch with JS/TS, HTML5, and CSS3.☆16Updated this week
- Linear mutable References and Utilities☆13Jul 9, 2026Updated last week
- ☆21May 19, 2025Updated last year
- An experimental htmx extension for streaming contents using http streaming☆12Feb 23, 2024Updated 2 years ago
- A flamboyant output monitor for the Nix build tool☆36Updated this week
- Pandoc Lua filter for linguistic examples☆46Sep 3, 2025Updated 10 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Declarative Nix CI system for clowns☆38Updated this week
- It's a python3 script which displays a menu, bases on a configuration json file, to easyly acces your most common commands.☆14Oct 4, 2021Updated 4 years ago
- Coqで様々な数学の定理を証明☆18Nov 13, 2022Updated 3 years ago
- Nix tooling for the seL4 microkernel & ecosystem☆19Dec 12, 2025Updated 7 months ago
- Extra wayland protocols for desktop shell components☆20Jun 21, 2025Updated last year
- ArcadeFlashWeb is a program to play Flash Games (SWF), on Windows 7, 8, 8.1 and 10, without installing Flash Player (works despite the en…☆14Feb 8, 2026Updated 5 months ago
- A smooth graphing widget for ratatui based on the braille character graphs featured in `btop`☆33Dec 27, 2025Updated 6 months ago
- Debian repositories for Shimboot☆15Feb 17, 2026Updated 4 months ago
- Log(ic) programming in Ru(st), an embeddable engine for prolog-like logic programming.☆25Sep 27, 2025Updated 9 months ago
- 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.
- Asynchronous and concurrent computations in Idris2☆29May 9, 2026Updated 2 months ago
- ☆17May 14, 2021Updated 5 years ago
- Open Source Surviv.io Server☆16Nov 14, 2025Updated 8 months ago
- Manage lockfiles in PKGBUILDs for upstreams that don't ship them, `updpkgsums` for dependency trees (Arch Linux tooling)☆14Mar 13, 2026Updated 4 months ago
- LegacySDK is a modding SDK for Minecraft Legacy Edition (right now a glorified DLL injector)☆15Jun 27, 2026Updated 2 weeks ago
- My personal collection of NixOS configuration files☆15Mar 5, 2025Updated last year
- ☆12Jun 13, 2026Updated last month
- Simple Zip Drive is a high-performance, user-mode filesystem utility that allows you to mount ZIP, 7Z, and RAR archives as virtual drives…☆25Updated this week
- Discord bot version of https://hammertime.cyou using slash commands☆14Updated this week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- twister dns seeder☆51Dec 16, 2023Updated 2 years ago
- A Python backed for Idris 2☆30Nov 25, 2025Updated 7 months ago
- A simple proxy☆12May 11, 2026Updated 2 months ago
- ☆20May 31, 2025Updated last year
- A fetch tool written in x86-64 assembly for Linux☆15Mar 23, 2026Updated 3 months ago
- Convert Google Takeout .json meta files to .xmp sidecar files that immich can use☆19Dec 1, 2024Updated last year
- ☆10Mar 5, 2026Updated 4 months ago