Official source code of FreeCAD, a free and opensource multiplatform 3D parametric modeler.

Highlight and capture the web in your favorite browser. The official Web Clipper extension for Obsidian.

A template plugin for obsidian

Task management for the Obsidian knowledge base.

Additional completion definitions for Zsh.

Record and Replay Framework

The Free Software Media System - Server Backend & API

Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name …

Rust bindings for the Z3 solver.

unclutter your .profile

A cross-platform, linkable library implementation of Git that you can use in your application.

CaDiCaL SAT Solver

An RPC framework for Rust with a focus on ease of use.

A plugin for the Obsidian.md note-taking software

A delta debugger for SMT benchmarks in SMT-LIB v2.

A QuickLook plugin that lets you view plain text files without a file extension

Simple Theorem Prover, an efficient SMT solver for bitvectors

The undo history visualizer for VIM

🏡 Open source home automation that puts local control and privacy first.

A Rust compiler front-end for IDEs

Shell based, minimal dependency bhyve manager

💻 Desktop sync client for Nextcloud

A pure Rust Excel/OpenDocument SpreadSheets file reader: rust on metal sheets

mold: A Modern Linker 🦠

A fast bump allocation arena for Rust

Dafny is a verification-aware programming language

Kani Rust Verifier

Unofficial Bitwarden compatible server written in Rust, formerly known as bitwarden_rs

Blink Mobile Shell for iOS (Mosh based)