Skip to content
View ericdemers's full-sized avatar

Organizations

@numericelements

Block or report ericdemers

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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

Showing results

GeoCoq / GeoCoq

A formalization of geometry in Coq based on Tarski's axiom system

Coq 199 27 Updated May 8, 2025

marcosh / idris-hanoi

a super type safe implementation of the game of the Tower of Hanoi

Idris 4 Updated Nov 25, 2017

numericelements / curves-and-surfaces

B-Spline curve editor

TypeScript 1 Updated Sep 9, 2025

acarapetis / curve-shortening-demo

Visualize curve shortening flow in your browser.

TypeScript 23 2 Updated Mar 3, 2023

scipy / scipy

SciPy library main repository

Python 14,026 5,477 Updated Sep 16, 2025