AhmadHassan-BTed / OpenHeart
Succinct Compositional Program Graph (SCPG) static analysis engine & 14-diagram UML generator in Rust.
AhmadHassan-BTed / OpenHeart
mateussmeneses / theorder1886-port
—
zgcagi / Harness-RSI
Harness self-evolution: update targets, theory, evaluation, and reported evidence. Bilingual reading list and project website.
fabio-rovai / open-ontologies
Rust CLI and MCP server that plans, applies and rolls back changes to an OWL ontology, reporting blast radius and emitting checkable Lean 4 proofs.
papers-we-love / papers-we-love
Papers from the computer science community to read and discuss.
cheo0y / shisa-agent
컴퓨터 화면 구석에 사는 작은 비서, 시사
xevrion / breakscale
Build a system, load it until it breaks, and watch why. A system design simulator for learning distributed systems.
Yeachan-Heo / oh-my-claudecode
Teams-first Multi-agent orchestration for Claude Code
bendlang / bend
Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh
eokahya / claude-audits-quantum-gravity
Claude re-derived a published one-loop quantum gravity calculation step by step: 18 tasks, 183 pages of derivations, 38 reproducible checks. It found a sign error and a missing term; the physical conclusion survived.
okalachev / flix
Making an ESP32-based quadcopter from scratch
leanprover-community / physlib
A project to digitalise results from physics into Lean.
tangency-labs / fieldcraft
One open-source modeler for structures, heat and fluids, built from scratch in pure Rust: parametric part in, verified results out. Automatic all-hex and tet meshing, our own nonlinear implicit and explicit FEA, heat transfer and lattice Boltzmann CFD — every result checked against theory. For engineers and AI agents alike. Free, forever.
CyberDefenderAI / AI-Security-Tools-Applied-Scenarios
A highly actionable, curated list of open-source tools and practical use cases leveraging AI, ML, and LLMs to solve complex information security challenges. This module bridges the gap between theoretical AI capabilities and daily security operations.
tolachien2505 / PTPMMNM-CNTT-1809-NHOM6
Công cụ xử lý PDF trực tuyến được xây dựng bằng PHP, hỗ trợ ghép, tách, sắp xếp, xoay trang, xem trước và xuất tài liệu PDF ngay trên trình duyệt. Hỗ trợ quản lý tài liệu, lưu kế hoạch xử lý, theo dõi lịch sử xuất và bảo vệ dữ liệu người dùng.
Z3Prover / z3
The Z3 Theorem Prover
h5i-dev / h5i
An Axum-based Rust web framework for building and verifying web apps with Lean 4, featuring optional GPU acceleration and integrated development infrastructure for red-teaming and CI/CD.
morluto / jacobian
Composable mathematics tools for agents
networkx / networkx
Network Analysis in Python
TheOdinProject / curriculum
The open curriculum for learning web development
leanprover / lean4
Lean 4 programming language and theorem prover
AloneMonkey / MonkeyDev
CaptainHook Tweak、Logos Tweak and Command-line Tool、Patch iOS Apps, Without Jailbreak.
Yeachan-Heo / gajae-code
Gajae Code MVP
theopenco / llmgateway
Route, manage, and analyze your LLM requests across multiple providers with a unified API interface.
theothernt / AerialViews
A screensaver for Android TV devices including Google TV, Nvidia Shield, and Fire TV. Inspired by Apple TV's video screensaver.
oOo0oOo / lean-lsp-mcp
Lean Theorem Prover MCP
TheOrcDev / videorc
Open-source multistream studio and screen recorder for Mac: go live on 6+ platforms free, record in 4K, publish with AI.
Pantheon-Industries-Inc / argus
Argus is an open source dataset-and-format-agnostic harness for the densest annotation of robot learning data.
Yeachan-Heo / oh-my-codex
OmX - Oh My codeX: Your codex is not alone. Add hooks, agent teams, HUDs, and so much more.
theonedev / onedev
The Unified and Autonomous Development Platform
cytoscape / cytoscape.js
Graph theory (network) library for visualisation and analysis
rocq-prover / rocq
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
TheoLeeCJ / SemIf-OpenJev
Semantic ifs from open models, on a 3090 at home. Independent; not affiliated with Jev or TypeSafe.
TheOdinProject / theodinproject
Main website for The Odin Project
varkor / quiver
A modern commutative diagram editor for the web.
FStarLang / FStar
A Proof-oriented Programming Language
agda / agda
Agda is a dependently typed programming language / interactive theorem prover.
control-theory / gonzo
Gonzo! The Go based TUI log analysis tool
szTheory / exifcleaner
Cross-platform desktop GUI app to clean image metadata
bupticybee / TexasSolver
🚀 A very efficient Texas Holdem GTO solver :spades::hearts::clubs::diamonds:
TheOrcDev / 8bitcn-ui
A set of retro-designed, accessible components and a code distribution platform. Open Source. Open Code.
shsarv / Machine-Learning-Projects
This repository showcases a selection of machine learning projects undertaken to understand and master various ML concepts. Each project reflects commitment to applying theoretical knowledge to practical scenarios, demonstrating proficiency in machine learning techniques and tools.
kennethreitz / pytheory
Music Theory for Humans.
theoephraim / awesome-cloudflare-selfhosted
🍊☁️ Open-source* apps that replace SaaS product + tools, running in your own Cloudflare account
kimwalisch / primesieve
🚀 Fast prime number generator
JuDFTteam / best-of-atomistic-machine-learning
🏆 A ranked list of awesome atomistic machine learning projects ⚛️🧬💎.
wimpysworld / nix-config
Wimpy's NixOS, nix-darwin & Home Manager Configurations ❄️
gambitproject / gambit
Gambit: The package for computation in game theory
openai / ten-proofs
Lean certificates accompanying ten proofs in mathematics and theoretical computer science
JinHo-von-Choi / anti-samcheonpo
AI 코딩 에이전트의 헛짓(과잉 검증·맥락 이탈·무한 루프·허위 완료)을 감지·경고·차단하는 하네스 / A harness that catches AI coding agents wasting time and money
Yeachan-Heo / gajae-way
Gateway that hosts an operator-owned agent session behind durable journal delivery, with Discord and Telegram surfaces
adityaagarw / Pantheon
An AI workforce on your desktop. Describe the work; a team of AI agents does it in the open and hands it back checked. Any model, any harness: Claude Code, Codex, Hermes, any ACP agent, or you. Windows, macOS, Linux.
theophile-wallez / LichessNeo
Chrome extension that makes Lichess look modern
Krishita17 / PhantomTap
A Flipper Zero that stops guessing and starts reasoning: ML-guided RFID/NFC fuzzing & access-control auditing that turns raw card reads into a prioritized, explainable security assessment. Defensive-use only.
shap / shap
A game theoretic approach to explain the output of any machine learning model.
Gogh-Co / Gogh
Gogh is a collection of color schemes for various terminal emulators, including Gnome Terminal, Pantheon Terminal, Tilix, and XFCE4 Terminal also compatible with iTerm on macOS. (https://gogh-co.github.io/Gogh/)
yeasy / blockchain_guide
Introduce technologies on blockchain and distributed ledger, from theory to practice with bitcoin, ethereum and hyperledger.
theOehrly / Fast-F1
FastF1 is a python package for accessing and analyzing Formula 1 results, schedules, timing data and telemetry
theos / theos
A cross-platform suite of tools for building and deploying software for iOS and other platforms.
purpleidea / mgmt
Next generation distributed, event-driven, parallel config management!