Stars
Unofficial Bitwarden compatible server written in Rust, formerly known as bitwarden_rs
All-in-one Mail & Collaboration server. Secure, scalable and fluent in every protocol (IMAP, JMAP, SMTP, CalDAV, CardDAV, WebDAV).
A simple CalDAV (calendar) and CardDAV (contact) server.
Mounts to adapt Framework motherboard to ATX and Micro-ATX Motherboards and Cases
Perkeep (née Camlistore) is your personal storage system for life: a way of storing, syncing, sharing, modelling and backing up content.
An open-source, code-first Python toolkit for building, evaluating, and deploying sophisticated AI agents with flexibility and control.
An open-source, code-first Go toolkit for building, evaluating, and deploying sophisticated AI agents with flexibility and control.
(Mirror) S3-compatible object store for small self-hosted geo-distributed deployments. Main repo: https://git.deuxfleurs.fr/Deuxfleurs/garage
monospace typeface designed for symbol-rich programming
SWE-agent takes a GitHub issue and tries to automatically fix it, using your LM of choice. It can also be employed for offensive cybersecurity or competitive coding challenges. [NeurIPS 2024]
Lean theorem proving interface which feels like pen-and-paper proofs.
Neural theorem proving toolkit: data extraction tools for Lean 4
ImProver: Agent-Based Automated Proof Optimization
Python client to interact with the lean4 language server.
A Foreign Function Interface (FFI) to cvc5 solver in Lean.
Automatically connect instances to a mesh network using wireguard and vault
Utilities to get Alpine Linux running on Kindles
Anthropic's Interactive Prompt Engineering Tutorial