Stars
LSP implementation for the fish shell language 🐠
Complete solver for strict orders (transitive+irreflexive relations) for Rocq
TUI client for Switzerland's public transport timetables, inspidered by the SBB/CFF/FFS app
⚡ Fast, async, stream-based link checker written in Rust. Finds broken URLs and mail addresses inside Markdown, HTML, reStructuredText, websites and more!
Command line FireWire DV and HDV capture tool for Linux
The mechanized formalization of logical pinning, a lightweight borrowing model and proof discipline for precise reasoning about container-internal pointers.
Marginnotes for typst with smart positioning
Tinymist [ˈtaɪni mɪst] is an integrated language service for Typst [taɪpst].
💥 Create key bindings that stick. WhichKey helps you remember your Neovim keymaps, by showing available keybindings in a popup as you type.
Formal Verification for JavaScript Regular Expressions
A Rocq Mechanization of ECMAScript 2023 Regexes
Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
A markup-based typesetting system that is powerful and easy to learn.
A collection of formalized statements of conjectures in Lean.
The official repository of Mozilla's Firefox web browser.
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
A toolchain for web projects, aimed to provide functionalities to maintain them. Biome offers formatter and linter, usable via CLI and LSP.
Vim-fork focused on extensibility and usability
Pympress is a simple yet powerful PDF reader designed for dual-screen presentations
Rubik's cube trainer / solver for the Roux method.
The framework for building with WebAssembly (wasm). Easily & securely load wasm modules, move data, call functions, and build extensible apps.
Lean 4 programming language and theorem prover