Lists (1)
Stars
Dependently typed Clojure DSL with a Lean4 compatible kernel.
Claude Code IDE integration for Emacs
Hide drawers in org-mode with overlays
Yet another modal editing on Emacs / 猫态编辑
signal-cli provides an unofficial commandline, JSON-RPC and dbus interface for the Signal messenger.
Systems language with linear types and capability-based security.
slop (Select Operation) is an application that queries for a selection from the user and prints the region to stdout.
A simple, distributed, zero-configuration WireGuard mesh solution
🪼 Modern music streaming client for the terminal
All-in-one Mail & Collaboration server. Secure, scalable and fluent in every protocol (IMAP, JMAP, SMTP, CalDAV, CardDAV, WebDAV).
egui: an easy-to-use immediate mode GUI in Rust that runs on both web and native
IP addresses break, dial keys instead. Modular networking stack in Rust.
Sound As Pure Form - a Forth-like language for audio synthesis using lazy lists and APL-like auto-mapping.
Hypothesis-like property testing for Rust
Efficient file-naming scheme to organise files and write notes with Emacs
A simple calendar with events, customizable widgets and no ads.
A nixos module to make buildbot a proper Nix-CI [maintainer=@Mic92,@MagicRB]
Python-based continuous integration testing framework; your pull requests are more than welcome!
Craft and deploy bulletproof embedded software in Elixir
Emacs major mode for working with mermaid graphs https://mermaidjs.github.io/
Generate mermaid diagrams within Emacs org-mode babel
Dialog is an embeddable database designed for local-first software.