mdnahas

Peano_Book

English translation with original Latin for "Arithmetices Principia, Nova Methodo Exposita" by Giuseppe Peano

easy_encryption_everywhere

Encrypt and decrypt files in a browser, as easy as upload and download a file

mdnahas.github.io

Michael Nahas's professional website

CityEcon

carry_trade_paper

Thesis for Masters of Arts in Economics

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

coq_www

Source files of the coq.inria.fr website (static part)

docs

gambit

Gambit

HoTT

Homotopy type theory

HoTT-Agda

Development of homotopy type theory in Agda

Leo_Krippner_SSR

Contains Python code and files used to estimate shadow rate using Krippner's K-ANSM(2) with an estimated lower bound term structure model

libpar2

mcb

Mathematical Components (the Book)

par2cmdline

Reference implementation for Par1 and Par2

par3cmdline

My copy of the official repo for par3cmdline and par3lib

parchive.github.io

parchive.github.io

RogerWilliamsTracker

Hosts a website and data relating to US Rep. Roger Williams from Central Texas.

universal_voting_austin

Hosts wiki (and maybe some data) for universal voting in Austin (a.k.a. manditory voting)