GitHub profile data for @seanpm2001

profile offline bio programmer github-profile markdown-language python-language nna ron polymath github-profile-readme walla-walla seanpm2001 seanwallawalla walla-walla-washington seanpm2001-github seanpm2001-docs seanpm2001-documentation octoring seanpm2001-core

• Updated Nov 1, 2026
• Python

Polymath: Groth16 Is Not The Limit

rust zk polymath snark arkworks

• Updated Feb 6, 2025
• Rust

A structured second brain for polymaths - PARA + LLM Wiki + Caveman in one npx-installable package

productivity note-taking para obsidian pkm knowledge-management claude zettelkasten polymath second-brain llm claude-code

• Updated Apr 26, 2026
• JavaScript

Polymesh Ledger App

ledger polymath polymesh

• Updated Oct 8, 2026
• CMake

POLYMATH-ATLAS v107.1-FINAL — honest evidence-audit framework in Lean 4. VERIFIED ENGINEERING FRAMEWORK (prototype), not a theorem prover. Open verification protocol in README.

lean atlas polymath

• Updated Nov 11, 2026
• Lean

🌐Implementations for registrars and resolvers for the Polymath Name Service

blockchain polymath

• Updated Nov 8, 2018

A calibrated psychometric and technical assessment evaluating analytical reasoning across 15 technical university degree fields and 5 classical non-technical disciplines. Choose the full comprehensive matrix or the streamlined Partial Polymath Choice Assessment (8 technical + 3 humanities, with 1 Easy and 1 Medium problem per discipline).

test assessment multidisciplinary polymath jackofalltrades

• Updated Nov 10, 2026
• TypeScript

Universal Systems Architect & Software Polymath

portfolio distributed-systems compiler reverse-engineering concurrency full-stack high-performance-computing bare-metal software-architecture polymath systems-architecture

• Updated Nov 9, 2026

🧠 Полимат = Мультиагент — параллельная оркестрация ИИ-агентов, где одно другое не исключает | Parallel multi-agent orchestration: skills complement, never exclude

python agent polymath

• Updated Nov 11, 2026
• Python

ST-CKG → Lean 4 bridge contract: 11 machine-verified theorems, 0 sorry, kernel-audited axiom surface. GATE 7R runs as CI — the contract defends itself.

lean polymath

• Updated Nov 11, 2026
• Lean

This repository contains the project work done within an online summer program Polymath Jr ReU. This work was presented at Joint Mathematics Meetings 2024, San Francisco hosted by American Mathematical Society.

gradient-descent optimization-methods convex-optimization ams unconstrained-optimization linesearch polymath

• Updated Jun 17, 2025

A collection of stories co-created with Google Gemini.

science physics mathematics gemini story chinese traditional-chinese computer-scientists physicist philosopher mathematician polymath science-education life-story

• Updated Sep 10, 2026

Ravin Kumar: A curious person blessed to see life through the perspectives of an artist 🎨, engineer 🎓, researcher 🤖, inventor ⚙️, economist 📈, poet 📝, ethical hacker 👾 , mathematician 🎲, game developer 🎮, author 📘, writer ✍️, traveler ❄️🌿🌵🌊🪁⛰️⛵🏝️ || Author of books 📘: The Engineer's Plan, and Philosophy of the Trident (त्रिशूल दर्शन)

polymath

• Updated Nov 5, 2026

ПОЛИМАТ-ГЕН: автономный медиа-агент — задание человека -> промпт -> изображение/видео -> самокритика -> доработка. LLM-мозг + open-source руки (ComfyUI/FLUX/Wan2.2)

python polymath

• Updated Nov 11, 2026
• Python

Interactive personal portfolio showcasing Mixed-Signal IC Design, Analog CMOS, and VLSI engineering work.

react portfolio vlsi mixed-signal ic-design analog-electronics tailwindcss polymath vite framer-motion

• Updated Feb 1, 2026
• JavaScript

Engineering challenge for Polymath Ventures.

javascript css python docker npm flask node rest sqlite riot peewee polymath

• Updated Aug 7, 2019
• Python

Operational System Atlas - Lean 4 Gestalt audit: 7 modules, zero sorry, verbatim imperial session archive

atlas polymath

• Updated Nov 11, 2026

Personal sovereign media-OS. 5-layer LFS-style self-bootstrapping repo. SINGULYAR Emergent Intent Runtime v0.6. 35 ADRs. make verify 33/33. 290 tests green.

python polymath

• Updated Nov 11, 2026
• Python

React suite for practicing lots of useless technical skills (Binary to decimal conversion, Subnetting calculations, Doomsday Rule, etc.). It uses i18n, SCSS modules, and IndexedDB persistence.

react scss polymath practice-hub

• Updated Nov 9, 2026
• TypeScript

Visualizing data points with Roassal2 and fitting them with PMLinearRegression

linear-regression smalltalk data-visualization pharo polymath roassal

• Updated Mar 2, 2018
• Smalltalk