Lists (1)
Stars
Formally Verified Arguments of Knowledge in Lean
Type-Based and Trace-Based Symbolic Protocol Verification in Lean
Dusklight brings a classic adventure to PC and mobile platforms with a variety of fixes and improvements.
A Git-compatible VCS that is both simple and powerful
A collection of tools for writing technical documents that mix Rocq code and prose.
Secure Boot & Measured Boot for NixOS [maintainers=@blitz @raitobezarius @nikstur]
Nuclear-Squid / ergol
Forked from fabi1cazenave/qwerty-lafayetteA Colemak-style keyboard layout for French-speaking typists and programmers.
Transform your favorite cities into beautiful, minimalist designs. MapToPoster lets you create and export visually striking map posters with code.
An automated document analyzer for Paperless-ngx using OpenAI API, Ollama, Deepseek-r1, Azure and all OpenAI API compatible Services to automatically analyze and tag your documents.
Automated face extraction, resizing and alignment suitable to make a selfie timelapse video.
Journiv - Self hosted private journaling app
A libre smart powered comic book reader for Android.
An (almost) fully fledged mobile paperless client.
LTeX: Grammar/spell checker 🔍✔️ for VS Code using LanguageTool with support for LaTeX 🎓, Markdown 📝, and others
WIP high-performance code editor inspired by Doom Emacs and neovim. Comes with explosions.
Your code is powerful, unleash it! The extension made popular by Code in the Dark has finally made its way to VS Code.
Declarative disk partitioning and formatting using nix [maintainers=@Lassulus @Enzime @iFreilicht @Mic92 @phaer]
A cross-platform TUI database management tool written in Go.