rishistyping
Follow
-
-
Verification and explainer companion to A Brief Derivation of Spacetime
HTML Other UpdatedJun 22, 2026 -
siliconscope Public
Forked from kennss/SiliconScopeSudoless Apple Silicon system monitor (native SwiftUI GUI) with ANE / Media Engine / memory-bandwidth tracking
Swift MIT License UpdatedJun 19, 2026 -
-
lean-eval Public
Forked from leanprover/lean-evalComparator-based Lean formal mathematics eval
Lean Apache License 2.0 UpdatedJun 15, 2026 -
-
-
-
Lean Eval submission for frobenius_kernel_isNormal
Lean UpdatedJun 12, 2026 -
codex-chatgpt-control Public
Forked from adamallcock/codex-chatgpt-controlUnofficial SDK for Codex agents controlling visible ChatGPT web sessions
TypeScript MIT License UpdatedJun 7, 2026 -
Lean Eval submission for fourier_dirichlet_fejer
Lean UpdatedJun 6, 2026 -
-
Lean Eval symplectic_matrix_det submission copy for Stealth Model
Lean UpdatedJun 1, 2026 -
-
-
-
lean-eval-leaderboard Public
Forked from leanprover/lean-eval-leaderboardResults for the lean-eval benchmark (https://github.com/leanprover/lean-eval)
Lean UpdatedMay 22, 2026 -
-
-
-
Esoteric submission to the ci_regenerate_main_check problem on Lean AI leaderboard
Lean UpdatedMay 10, 2026 -
schmidhuber-problems Public
Forked from cybertronai/schmidhuber-problems58 implementations of synthetic learning problems from Jürgen Schmidhuber's papers (1989-2025). Pure numpy, laptop-runnable, paper-comparison metrics per stub. Algorithmic-lineage companion to hint…
Python The Unlicense UpdatedMay 8, 2026 -
veil Public
Forked from verse-lab/veilA verifier for automated and interactive proofs about transition systems.
Lean Apache License 2.0 UpdatedMay 8, 2026 -
keep-codex-fast Public
Forked from vibeforge1111/keep-codex-fastA backup-first Codex skill for keeping local Codex state fast, clean, and recoverable.
Python MIT License UpdatedMay 2, 2026 -
ii-logos-one-postulate Public
Intelligent-Internet/ii-logos-one-postulate
Wolfram Language Other UpdatedApr 30, 2026 -
The Cosmological Constant Is Positive: private copy of the formal verification companion repository.
Wolfram Language Other UpdatedApr 30, 2026 -
warp Public
Forked from warpdotdev/warpWarp is an agentic development environment, born out of the terminal.
Rust GNU Affero General Public License v3.0 UpdatedApr 28, 2026 -
demos Public
Forked from enzomanuelmangano/demosAn ongoing collection of React Native animations crafted with Reanimated, Gesture Handler, and Skia.
TypeScript Other UpdatedApr 25, 2026 -
fieldtheory-cli Public
Forked from afar1/fieldtheory-cliSync and locally store all of your X/Twitter bookmarks. Free and open source CLI for Mac.
TypeScript MIT License UpdatedApr 24, 2026 -