Stars
Fully open reproduction of DeepSeek-R1
Open-source & free — Battle-tested at Alibaba's scale. Hybrid architecture code review tool: deterministic pipelines + LLM Agent, precise line-level comments, built-in fine-tuned ruleset (NPE, thre…
Solidity, the Smart Contract Programming Language
One file. Under 200 lines. Zero dependencies. It's a coding agent.
Public Key Addressable Resource Records (sovereign TLDs)
⏰ 🔥 A TCP proxy to simulate network and system conditions for chaos and resiliency testing
Shuttle is a library for testing concurrent Rust code
Anvil is an experimental framework to build practical, formally verified, cluster management controllers.
Low-level unprivileged sandboxing tool used by Flatpak and similar projects
lakeFS - Data version control for your data lake | Git for data
Private on-device AI chat for Android — runs any GGUF model locally via llama.cpp with ARM-optimised SIMD. Zero network permissions, encrypted settings, biometric lock, tamper detection.
Open-source Claude Design alternative. One-click import your Claude Code / Codex API key. Prompt → prototype / slides / PDF. Multi-model (Claude, GPT, Gemini, Kimi, GLM, Ollama). BYOK, local-first,…
Formally verified smart contracts gives mathematical certainty across all inputs and execution paths. We bet that agents will make full formal verification practical.
This repository contains CoinFabrik's ongoing research and development to extend CodeQL support to the Solidity smart contract language. By leveraging the foundational work done by the CodeQL team …
A browser for the decentralized web, with Swarm, IPFS, and ENS as first-class protocols
The reliability of disk images, the flexibility of files