Pinned Repositories
ADAM
algopiper
Node-red fork to focus on easy pipeline creation with scientific algorithms
algorun
Easily use and publish algorithms
coq-builder
A system of makefiles for building coq and the programs it requires.
cornell-cs5220-f15.github.io
course
Functional Programming Course
courses
fast.ai Courses
integral-closure
Reworking integral closure functionality in Macaulay2
M2
The primary source code repository for Macaulay2
math7670-toric-varieties
Course materials for the spring 2019 course at Cornell: Math 7670, an introduction to toric varieties
mikestillman's Repositories
mikestillman/symbolicdata
http://www.symbolicdata.org
mikestillman/course
Functional Programming Course
mikestillman/mathic
C++ library of symbolic algebra data structures for use in Groebner basis computation.
mikestillman/ADAM
mikestillman/mathicgb
Compute (signature) Groebner bases using the fast datastructures from mathic.
mikestillman/flint2
My development repo for work on FLINT (Fast Library for Number Theory)
mikestillman/memtailor
C++ library of special purpose memory allocators.
mikestillman/coq-builder
A system of makefiles for building coq and the programs it requires.
mikestillman/sandbox-tests
Private play area to test compiler features
mikestillman/practice3
Making another test M2 git repo in preparation for going live with Macaulay2/M2.git. DO NOT USE!!
mikestillman/practice2
A second try at making M2 git repo which can communicate back to svn repo: DO NOT USE!!
mikestillman/LELA
Library for exact linear algebra, a C++ template-library based originally on LinBox intended for F4-like implementations
mikestillman/practice1
test for learning to sync svn and git