-
-
EquiVM Public
Forked from argotorg/EquiVMRefinement proofs in Lean for EVM bytecode
Lean MIT License UpdatedSep 24, 2026 -
-
jc2 Public
Progress towards the Plane Jacobian Conjecture
MAXScript Apache License 2.0 UpdatedSep 24, 2026 -
PalomarServer Public
Forked from PalomarRegistry/PalomarServerPalomar submission server: a Cloudflare Worker over GitHub state
JavaScript UpdatedSep 17, 2026 -
jc2-lean Public
Proofs related to the plane Jacobian conjecture
-
jc2-web Public
Mathematical insights on the road to the Plane Jacobian Conjecture
Python Apache License 2.0 UpdatedSep 15, 2026 -
PalomarSubmission Public
Forked from PalomarRegistry/PalomarSubmissionComparator CI that verifies Palomar submissions dispatched by the submission server
Python MIT License UpdatedSep 14, 2026 -
qqideal Public
Exact QQ ideals: python-flint arithmetic, msolve Gröbner bases, verdicts that refuse to guess.
Python MIT License UpdatedSep 2, 2026 -
msolveio Public
Strict Python I/O for msolve: canonical input, mode-required output.
Python MIT License UpdatedSep 2, 2026 -
albertson-berman-lean Public
Palomar submission: Albertson-Berman conjecture is false (Jung 2026 31-vertex seed)
Lean Apache License 2.0 UpdatedSep 1, 2026 -
sharkovsky-lean Public
Lean 4 proof that period three implies all periods (Li–Yorke / Sharkovsky)
Lean Apache License 2.0 UpdatedSep 1, 2026 -
austin-pair-lean Public
Palomar thin wrapper of an ETP Austin pair (equations 3588 and 3994)
Ruby Apache License 2.0 UpdatedSep 1, 2026 -
mason-flats-lean Public
Lean 4 certificate that Mason’s flat log-concavity conjecture is false
Lean Apache License 2.0 UpdatedSep 1, 2026 -
kakeya-lean Public
Palomar thin wrapper of Dvir finite-field Kakeya (math-inc/KakeyaFiniteFields)
Ruby Apache License 2.0 UpdatedSep 1, 2026 -
kahn-kalai-lean Public
Lean 4 Palomar formalization of Park–Pham / Kahn–Kalai (Tran–Vu covering theorem)
Lean Apache License 2.0 UpdatedSep 1, 2026 -
msolve Public
Forked from algebraic-solving/msolveLibrary for Polynomial System Solving through Algebraic Methods
C GNU General Public License v2.0 UpdatedAug 23, 2026 -
PalomarWeb Public
Forked from PalomarRegistry/PalomarWebStatic human-facing explorer for the Palomar database
JavaScript MIT License UpdatedAug 23, 2026 -
-
-
blakejs Public
Pure Javascript implementation of the BLAKE2b and BLAKE2s hash functions
-
An open-source platform for making universal native apps with React. Expo runs on Android, iOS, and the web.
TypeScript MIT License UpdatedJul 23, 2024 -
RIPs Public
Forked from ethereum/RIPsThe Ethereum Rollup Improvement Proposal repository
Creative Commons Zero v1.0 Universal UpdatedMay 3, 2024 -
semaphore Public
Forked from semaphore-protocol/semaphoreA zero-knowledge protocol for anonymous signaling on Ethereum.
TypeScript MIT License UpdatedNov 15, 2023 -
-
zukit Public
Forked from nalinbhardwaj/zukitLike RainbowKit for the Zuzalu Passport
TypeScript UpdatedNov 14, 2023 -
DefinitelyTyped Public
Forked from DefinitelyTyped/DefinitelyTypedThe repository for high quality TypeScript type definitions.
TypeScript Other UpdatedOct 15, 2023 -
ethereum-tests Public
Forked from ethereum/testsCommon tests for all Ethereum implementations
JavaScript MIT License UpdatedAug 15, 2023 -
optimism Public
Forked from ethereum-optimism/optimismOptimism is Ethereum, scaled.
Go MIT License UpdatedJun 22, 2023 -
TypeScript Interface for Ethereum
TypeScript MIT License UpdatedJun 19, 2023
{{ message }}