BrouwerFixedPoint vs spherical_snake

BrouwerFixedPoint

By Shamrock-Frost

Suggest topics

Source Code

Suggest alternative

Edit details

spherical_snake

The classical (by jagr2808)

Suggest topics

Source Code

Suggest alternative

Edit details

Our great sponsors

InfluxDB - Power Real-Time Data Analytics at Scale

WorkOS - The modern identity platform for B2B SaaS

SaaSHub - Software Alternatives and Reviews

Our great sponsors

BrouwerFixedPoint		spherical_snake
	Project
2	Mentions	2
13	Stars	1
-	Growth	-
5.9	Activity	10.0
11 months ago	Latest Commit	over 1 year ago
Lean	Language	Processing
-	License	-

The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.

BrouwerFixedPoint

Posts with mentions or reviews of BrouwerFixedPoint. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2022-09-05.

What Are You Working On? September 05, 2022
2 projects | /r/math | 5 Sep 2022
What Are You Working On? August 01, 2022
1 project | /r/math | 1 Aug 2022

I've been working on some algebraic topology in Lean. So far I've got the excision and homotopy invariance axioms, and all I have left for my project is to inductively calculate the homology of the sphere and deduce the Brouwer Fixed Point theorem. See https://github.com/Shamrock-Frost/BrouwerFixedPoint

spherical_snake

Posts with mentions or reviews of spherical_snake. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2022-11-02.