mikestillman Goto Github PK

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

cppbestpractices-template

cppfront

A personal experimental C++ Syntax 2 -> Syntax 1 compiler

cpphs

Tutorial on integrating C++ and Haskell

cxx11tests

My personal tests to try out C++11 features, and to check compliance with various compilers

demo

Demo scripts and codes

finitefieldexperiments.m2

A simple Macaulay2-Framework for finite field experiments

flint2

My development repo for work on FLINT (Fast Library for Number Theory)

gsl

Guidelines Support Library

haskell-playing

hw0

HW0: Who are you?

integral-closure

Reworking integral closure functionality in Macaulay2

julia

The Julia Language: A fresh approach to technical computing.

lecture

Questions and codes associated with pre-class and in-class activities.

lela

Library for exact linear algebra, a C++ template-library based originally on LinBox intended for F4-like implementations

m2

The primary source code repository for Macaulay2

macaulay2web

Macaulay2 web app with support for KaTeX and HTML output

math7670-toric-varieties

Course materials for the spring 2019 course at Cornell: Math 7670, an introduction to toric varieties

mathic

C++ library of symbolic algebra data structures for use in Groebner basis computation.

mathicgb

Compute (signature) Groebner bases using the fast datastructures from mathic.

matmul-

Matrix Multiple Framework for HW1

membench

memtailor

C++ library of special purpose memory allocators.

octave_kernel

An Octave kernel for IPython