Starred repositories
Computing reachable states of dynamical systems in Julia
Archive Claude Code conversations into SQLite with FTS5 search. Single binary, zero dependencies.
zhihan / esbmc
Forked from esbmc/esbmcThe efficient SMT-based context-bounded model checker (ESBMC)
an open source, extensible AI agent that goes beyond code suggestions - install, execute, edit, and test with any LLM
Lightweight self-hosted AI agent. Open-source OpenClaw alternative in Go.
Lightweight, open-source AI agent for your tools, chats, and workflows.
AI agent toolkit: unified LLM API, agent loop, TUI, coding agent CLI
The agent that grows with you
将冰冷的离别化为温暖的 Skill，欢迎加入数字生命1.0！Transforming cold farewells into warm skills? It's giving rebirth era. Welcome to Digital Life 1.0. 🫶
An acausal modeling framework for automatically parallelized scientific machine learning (SciML) in Julia. A computer algebra system for integrated symbolics for physics-informed machine learning a…
The efficient SMT-based context-bounded model checker (ESBMC)
Use Garry Tan's exact Claude Code setup: 23 opinionated tools that serve as CEO, Designer, Eng Manager, Release Manager, Doc Engineer, and QA
A Claude Code plugin that shows what's happening - context usage, active tools, running agents, and todo progress
Mobile and Web client for Codex and Claude Code, with realtime voice, encryption and fully featured
A lightweight alternative to OpenClaw that runs in containers for security. Connects to WhatsApp, Telegram, Slack, Discord, Gmail and other messaging apps,, has memory, scheduled jobs, and runs dir…
The awesome collection of OpenClaw skills. 5,400+ skills filtered and categorized from the official OpenClaw Skills Registry.🦞
Fact-checking LLM outputs with self-ask
Reviews your Pull/Merge Requests using ChatGPT
TLS implementation in pure python, focused on interoperability testing
JDK main-line development https://openjdk.org/projects/jdk
TLS 1.3 implementation in C (master supports RFC8446 as well as draft-26, -27, -28)
Copybara: A tool for transforming and moving code between repositories.