Skip to content
View mich256's full-sized avatar
3 followers · 2 following

Sponsoring

@sagemath
@Homebrew

Achievements

Achievement: Public Sponsor

Achievements

Achievement: Public Sponsor

Block or report mich256

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

Lists (1)

Sort Name ascending (A-Z)
Sort by
Name ascending (A-Z) Name descending (Z-A) Newest Oldest Last updated

Stars

Showing results

lean-dojo / LeanDojoChatGPT

ChatGPT plugin for theorem proving in Lean

Python 123 15 Updated Apr 4, 2024

lean-dojo / LeanCopilot

LLMs as Copilots for Theorem Proving in Lean

C++ 1,186 117 Updated Nov 18, 2025

Macaulay2 / M2

The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.

Macaulay2 397 263 Updated Nov 24, 2025

sagemath / sage

Main repository of SageMath

Python 2,102 703 Updated Nov 11, 2025

mitmath / 18338

Jupyter Notebook 104 24 Updated Nov 17, 2025