Stars
Unofficial Bitwarden compatible server written in Rust, formerly known as bitwarden_rs
Customizable and privacy-conscious open-source keyboard
Your own personal AI assistant. Any OS. Any Platform. The lobster way. 🦞
SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!
The most powerful and modular diffusion model GUI, api and backend with a graph/nodes interface.
A trustless P2P fiat onramp powered by ZK proofs.
Claude Code is an agentic coding tool that lives in your terminal, understands your codebase, and helps you code faster by executing routine tasks, explaining complex code, and handling git workflo…
This Bash script calculates the Safe transaction hashes by retrieving transaction details from the Safe transaction service API and computing both the domain and message hashes using the EIP-712 st…
rbuilder is a blazingly fast, state of the art Ethereum MEV-Boost block builder written in Rust
PropellerHeads Solver integration library
Source code for running the FreePay merchant software
Kimai is the #1 open-source time-tracking application. From freelancers to companies and organisations - everyone can manage timesheets, generate reports, create invoices and so much more... Web-ba…
A very simple static homepage for your server.
A payments protocol for the internet. Built on HTTP.
The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)
Lean 4 programming language and theorem prover
A decentralized public files management system that gives you full control over your content through peer-to-peer networks, decentralized ID, and public blockchains.
🤗 smolagents: a barebones library for agents that think in code.