-
sandboxed.sh Public
Safe runtime for autonomous on-chain AI agents: isolated sandboxes, Library skills, encrypted secrets.
-
hermes-agent Public
Forked from NousResearch/hermes-agentThe agent that grows with you
Python MIT License UpdatedSep 21, 2026 -
open_oura Public
A Rust toolkit for the Oura Ring (Gen 3/4/5): reverse-engineered BLE protocol, event decoders, and reimplemented data-processing algorithms. Sync, store, and analyze your data locally.
-
open_health Public
Local-first health apps built on open_oura
-
awesome-solidity Public
Forked from bkrem/awesome-solidity⟠ A curated list of awesome Solidity resources, libraries, tools and more
UpdatedSep 13, 2026 -
verity-benchmark-paper Public
IEEE short paper and build artifacts for Verity Benchmark
TeX UpdatedAug 31, 2026 -
-
-
arabian-1963-shaded-relief Public
Reproducing the 1963 USGS Geologic Map of the Arabian Peninsula as a shaded-relief print (I-270 A)
1 UpdatedAug 2, 2026 -
cuda-blackwell-carry-bug Public
PTXAS carry-chain bug: PTX inline asm loses carry flag across asm volatile blocks on Blackwell sm_120/sm_121
-
OreProcessor Public
Forked from anhcraft/OreProcessorCustomize mining experience
Java GNU General Public License v3.0 UpdatedJul 27, 2026 -
beal-conjecture-lean Public
Lean 4 + Mathlib formalization of the Beal conjecture. Proved reductions + isolated sorry on the open primitive core.
Python UpdatedJul 25, 2026 -
collatz-relative-termination Public
Exact certificate search for the Collatz rewriting-system reduction
Python UpdatedJul 25, 2026 -
-
mistral-vibe-leanstral-repro Public
Reproducible Leanstral 1.5 tool-calling comparison: hosted Mistral API vs local NVFP4 llama.cpp
Python MIT License UpdatedJul 20, 2026 -
mistral-common Public
Forked from mistralai/mistral-commonOfficial inference library for pre-processing of Mistral models
Python Apache License 2.0 UpdatedJul 20, 2026 -
sandcastle Public
Experimental ASIC project exploring the silicon design and manufacturing flow using Verilog. The design will be fabricated in the SKY130A process through the Tiny Tapeout toolchain.
Verilog Apache License 2.0 UpdatedJul 18, 2026 -
-
-
hermes-proton-email Public
Standalone Proton Mail gateway platform plugin for Hermes Agent.
Python MIT License UpdatedJul 14, 2026 -
morpho-verity Public
Formal verification of Morpho Blue lending protocol using Verity (Lean 4)
-
oraxen Public
Forked from oraxen/oraxenOraxen is a minecraft plugin that allows to easily use Minecraft 1.14 features in order to create new items with custom textures. It handles the resourcepack generation, upload (using Polymath) and…
-
gcal-watcher Public
Watch a public iCal feed and send Telegram notifications on change. No DB, no merge — detect only.
Python MIT License UpdatedJun 13, 2026 -
-
open-ralph-wiggum Public
Type `ralph "prompt"` to start open code in a ralph loop. Also supports a prompt file & status check. Open Code, Claude Code, Codex, Copilot
-
-
shard Public
Minecraft launcher with deduplicated mod storage. Content-addressed library stores mods once, shares across profiles. CLI + desktop app. Supports Fabric, Forge, Quilt, NeoForge. Modrinth & CurseFor…
-
tamago Public
Forked from Bacon-labs/tamagoCommon EVM smart contracts similar to solady/solmate, formally verified using Tama + Verity
Lean MIT License UpdatedMay 27, 2026 -
SafeLens Public
Offline transaction verifier for Safe multisig wallets with ERC-7730 clear signing support
-
keel-browser Public
A calm, security-oriented browser. Brave under the hood, Keel on top.
{{ message }}