Skip to content
View jessealama's full-sized avatar
110 followers · 12 following

Sponsoring

@Bogdanp
@greghendershott
@tarsius
@racket
@Homebrew
@jesseduffield

Achievements

Achievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: YOLOAchievement: Pull Sharkx3Achievement: Arctic Code Vault ContributorAchievement: Public SponsorAchievement: Starstruck

Achievements

Achievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: YOLOAchievement: Pull Sharkx3Achievement: Arctic Code Vault ContributorAchievement: Public SponsorAchievement: Starstruck

Highlights

  • Pro

Block or report jessealama

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Stars

6 stars written in Python
Clear filter

karpathy / nanochat

The best ChatGPT that $100 can buy.

Python 38,849 4,899 Updated Dec 9, 2025

BeehiveInnovations / pal-mcp-server

The power of Claude Code / GeminiCLI / CodexCLI + [Gemini / OpenAI / OpenRouter / Azure / Grok / Ollama / Custom Model / All Of The Above] working as one.

Python 10,529 896 Updated Dec 15, 2025

PatrickMassot / leanblueprint

plasTeX plugin to build formalization blueprints.

Python 275 51 Updated Nov 28, 2025

oOo0oOo / lean-lsp-mcp

Lean Theorem Prover MCP

Python 199 23 Updated Dec 17, 2025

bowtie-json-schema / bowtie

JSON Schema in every programming language

Python 74 51 Updated Dec 18, 2025

oOo0oOo / LeanParanoia

Lean 4 proof verification without reference

Python 2 1 Updated Nov 27, 2025