antony74 Goto Github PK

affogato

Vanilla is a powerfully simple discussion forum you can easily customize to make as unique as your community.

alt-mm

animated-mm-verifier

bayesian-problem

bayesian-runs

bobiverse-expansion

celebrity-death-model

A statistical analysis of the pop-culture theory that there have been an unusally large number of celebrity deaths in 2016

checkmm-gprof-docker

checkmm-ts

contraposition

curl

A command line tool and library for transferring data with URL syntax, supporting FTP, FTPS, HTTP, HTTPS, GOPHER, TFTP, SCP, SFTP, TELNET, DICT, LDAP, LDAPS, FILE, IMAP, SMTP, POP3, RTSP and RTMP. libcurl offers a myriad of powerful features

datasciencecoursera

datasharing

The Leek group guide to data sharing

epubshrink

(Windows) script for .epub shrinkage (lossy) and .mobi conversion

euclid

Some of Euclid's Elements on a webpage with interactive lines of text and diagrams

everyoneworkswitheveryone

ffmpeg-scripts

flowing-text

fluent-regex-fun

A nice fluent and typed way to construct regular expressions

fol

geomerative

Geomerative is a library for Processing. It extends 2D geometry operations to facilitate generative geometry. Includes a TrueType font and an SVG interpreters. This library exposes the shapes (such as vector drawings or typographies) in a more approchable way. Geomerative makes it easy to access the contours, the control points and the curve points, making it easy to develop generative typography and geometry pieces in Processing.

gifanimation

Processing 3.x port of Extrapixels' GifAnimation library

graphmm

Extracts metamath proofs in tree form

hyperbolic

incredible

The Incredible Proof Machine

jims-ngrx-example

A simple example of setting up an Angular 2 project with Ngrx/store and Ngrx/effects

lean-web-editor

Lean web editor

logic_and_proof

CMU Undergrad Course

mathsforgamesclass

Work for a class I took in Spring 2013

metamath-book

Source of metamath book