mrtwistor

Jonathan Holland, PhD (mathematics) 2015

RITRochester Institute of Technology

Pinned Repositories

mercury-geogebra
A set of Geogebra bindings for the Mercury language
Language:Mercury10
differentiation-181
A bare-bones differentiation library for teaching
Language:TeX00
flint-rs
Language:C00
flycheck-mercury
Mercury syntax checker for Flycheck
Language:Emacs Lisp00
Het
Het: a Haskell implementation of the Set card game
Language:Haskell00
Mathics
a general-purpose computer algebra system
Language:Python00
metal-mercury-mode
Major mode for editing mercury (prolog type language, http://mercurylang.org) files
Language:Emacs Lisp00
mmaclone
A simple Wolfram Language clone in Haskell
Language:Haskell00
musical-octo-doodle
Scratch repository
Language:Haskell00
Nlang
The N programming language
Language:OCaml00

mrtwistor's Repositories

mrtwistor/flint-rs
Language:C
mrtwistor/sympy
A computer algebra system written in pure Python
Language:Python
mrtwistor/Het
Het: a Haskell implementation of the Set card game
Language:Haskell
mrtwistor/Sudoku
Sudoku solver in Haskell, using monadic backtracking
Language:Haskell
mrtwistor/Mathics
a general-purpose computer algebra system
Language:Python
mrtwistor/mmaclone
A simple Wolfram Language clone in Haskell
Language:Haskell
mrtwistor/Nlang
The N programming language
Language:OCaml
mrtwistor/differentiation-181
A bare-bones differentiation library for teaching
Language:TeX
mrtwistor/txt-naive-classifier
A naive machine learning classifier for text files, based on titles in training set.
Language:Python
mrtwistor/flycheck-mercury
Mercury syntax checker for Flycheck
Language:Emacs Lisp
mrtwistor/mercury-geogebra
A set of Geogebra bindings for the Mercury language
Language:Mercury1
mrtwistor/musical-octo-doodle
Scratch repository
Language:Haskell
mrtwistor/metal-mercury-mode
Major mode for editing mercury (prolog type language, http://mercurylang.org) files
Language:Emacs Lisp