flupe
Follow
Stars
Rust library for consuming Apalache ITF traces
An open-source, Qt-based eBook reader for Kobos (and other devices).
Taildrop support for Nautilus (GNOMEs file browser)
In short: Autorandr+Arandr for Hyprland. Manage Hyprland configuration based on connected displays, power and lid state.
Coq plugin for extracting Rust code
`taskwarrior-tui`: A terminal user interface for taskwarrior
A TUI for controlling and monitoring Framework Computers hardware built in Rust
universal composability in model checkers
A small Hyprland plugin to provide awesome-like workspace behavior
Desktop shell for wayland compositors built with Quickshell & GO, optimized for niri, hyprland, sway, MangoWC, and labwc.
Hyprland is an independent, highly customizable, dynamic tiling Wayland compositor that doesn't sacrifice on its looks.
Choreograph distributed protocols in Quint.
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…
Commonware Library Primitives and Examples
Metaprogramming, verified meta-theory and implementation of Rocq in Rocq
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
A logical relations model of a minimal type theory with bounded first-class universe levels mechanized in Lean.
An Agda mechanization of the Streamlet consensus protocol.
Verified compiler from LambdaBox to WebAssembly, C, Rust, and OCaml
A design and simulation tool for weaving!