mcs0042's repositories
Article294
An implementation of Gauss's Article 294 proof for finding rational zeroes of binary quadratic forms and rational points on conics.
egison
Egison is a purely functional programming language with non-linear pattern-matching against non-free data types. We can directly pattern-match against a wide range of data types such as lists, multisets, sets, trees and graphs with Egison.
EGO-Website
Website for iPoly's EGO. Based on Synchronous by Templated.
fitinfo2json
A simple Python script that takes in a FITINFO file (produced by Thomas Robitaille's SEDfitter Python library) and produces a JSON representation of the data.
Orthogonal-Projection-Calculator
Calculates matrices of orthogonal projections onto subspaces of real vector spaces
psychic-meme
Website for the Equality in Gaming Organization - Based on Synchronus by Templated
tint2-theme-collections
My personal backup repository of Tint2 themes