mikestillman/cxx11tests
My personal tests to try out C++11 features, and to check compliance with various compilers
Developer Profile
mikestillman
Discovered public repositories for mikestillman in the GitHub catalog.
mikestillman/memtailor
C++ library of special purpose memory allocators.
mikestillman/mathic
C++ library of symbolic algebra data structures for use in Groebner basis computation.
mikestillman/mathicgb
Compute (signature) Groebner bases using the fast datastructures from mathic.
mikestillman/ADAM
Public repository.
mikestillman/coq-builder
A system of makefiles for building coq and the programs it requires.
mikestillman/LELA
Library for exact linear algebra, a C++ template-library based originally on LinBox intended for F4-like implementations
mikestillman/flint2
My development repo for work on FLINT (Fast Library for Number Theory)
mikestillman/sandbox-tests
Private play area to test compiler features
mikestillman/M2
The primary source code repository for Macaulay2
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/practice1
test for learning to sync svn and git