All Features
- By Stage
  Enterprises
  Team
  Startups
  Nonprofits
- By Industry
  Healthcare
  Financial services
  Manufacturing
  Government
  See all industries
- Evaluate GitHub
  Why GitHub
  Customer Stories
  Business insights
  Trust Center
- Add-ons
  GitHub Advanced SecurityEnterprise-grade code security
  Copilot for businessEnterprise-grade AI features
  Premium SupportEnterprise-grade 24/7 support
- Learn & Connect
  Documentation
  Resource center
  Blog
  Events & webinars
  Community Forum
  Customer Stories
  Integrations
- Support
  Customer support
  Training
  GitHub Status
- Company
  About
  Partners
  Changelog
- GitHub Universe
  GitHub UniverseThe event for developers, by developers — talks, workshops, and what’s next for GitHub.
Pricing

Appearance settings

You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session.

Dismiss alert

past-hypothesis Follow

Overview Repositories 7 Projects 0 Packages 0 Stars 8

Overview
Repositories
Projects
Packages
Stars

past-hypothesis

past-hypothesis

3 followers · 0 following

Achievements

Block or report past-hypothesis

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.

Close all issues, pull requests, and discussions opened by this user Content in all repositories owned by your account will be closed.

Add an optional note

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

Report abuse

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

Report abuse

Overview Repositories 7 Projects 0 Packages 0 Stars 8

Overview
Repositories
Projects
Packages
Stars

Type All

Select type

All Sources Forks Archived Can be sponsored Mirrors Templates

Language All

Select language

All Python Lean C

Sort Last updated

Select order

Last updated Name Stars

nearc Public
Forked from r-near/nearc

NEARC - NEAR Python Contract Compiler

Python MIT License Updated Aug 2, 2025
cpython-near-wasm-opt Public

Python MIT License Updated Jul 25, 2025
cpython-near Public
Forked from python/cpython

The Python programming language

Python 1 Other Updated Jul 24, 2025
lean4 Public
Forked from leanprover/lean4

Lean 4 programming language and theorem prover

Lean Apache License 2.0 Updated Jul 23, 2025
micropython Public
Forked from micropython/micropython

MicroPython - a lean and efficient Python implementation for microcontrollers and constrained systems

C 1 Other Updated Mar 13, 2025
near-py-tool Public

Python 8 1 Updated Mar 6, 2025
micropython-lib Public
Forked from micropython/micropython-lib

Core Python libraries ported to MicroPython

Python Other Updated Jan 28, 2025

Footer

Footer navigation

Terms
Privacy
Security
Status
Community
Docs
Contact

You can’t perform that action at this time.

Navigation Menu

past-hypothesis

Achievements

Achievements

Block or report past-hypothesis

nearc Public

Uh oh!

cpython-near-wasm-opt Public

Uh oh!

cpython-near Public

Uh oh!

lean4 Public

Uh oh!

micropython Public

Uh oh!

near-py-tool Public

Uh oh!

micropython-lib Public

Uh oh!