Peter Gerdes (TruePath)

TruePath

Geek Repo

Company:Academic Mathematician

Home Page:http://invariant.org

Github PK Tool:Github PK Tool

Peter Gerdes's starred repositories

mobx

Simple, scalable state management.

Language:TypeScriptLicense:MITStargazers:27432Issues:345Issues:1945

opal

Ruby ♥︎ JavaScript

Language:RubyLicense:MITStargazers:4824Issues:95Issues:1173

matrix.skeleton

A PGF/TikZ library that simplifies working with multiple matrix nodes.

Language:TeXLicense:ISCStargazers:9Issues:5Issues:6

MIaS

Indexes text with math in Lucene/Solr-based full-text search engines

Language:HTMLLicense:Apache-2.0Stargazers:6Issues:4Issues:8

Recursion-Theory-Latex-Package

This is a package with a bunch of useful commands and symbols for recursion theorists a.k.a. computability theorists.