Pinned Repositories
carry_trade_paper
Thesis for Masters of Arts in Economics
CityEcon
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
easy_encryption_everywhere
Encrypt and decrypt files in a browser, as easy as upload and download a file
gambit
Gambit
HoTT
Homotopy type theory
mdnahas.github.io
Michael Nahas's professional website
Peano_Book
English translation with original Latin for "Arithmetices Principia, Nova Methodo Exposita" by Giuseppe Peano
mdnahas's Repositories
mdnahas/Peano_Book
English translation with original Latin for "Arithmetices Principia, Nova Methodo Exposita" by Giuseppe Peano
mdnahas/easy_encryption_everywhere
Encrypt and decrypt files in a browser, as easy as upload and download a file
mdnahas/mdnahas.github.io
Michael Nahas's professional website
mdnahas/CityEcon
mdnahas/carry_trade_paper
Thesis for Masters of Arts in Economics
mdnahas/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.
mdnahas/coq_www
Source files of the coq.inria.fr website (static part)
mdnahas/docs
mdnahas/gambit
Gambit
mdnahas/HoTT
Homotopy type theory
mdnahas/HoTT-Agda
Development of homotopy type theory in Agda
mdnahas/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
mdnahas/libpar2
mdnahas/mcb
Mathematical Components (the Book)
mdnahas/par2cmdline
Reference implementation for Par1 and Par2
mdnahas/par3cmdline
My copy of the official repo for par3cmdline and par3lib
mdnahas/parchive.github.io
parchive.github.io
mdnahas/RogerWilliamsTracker
Hosts a website and data relating to US Rep. Roger Williams from Central Texas.
mdnahas/universal_voting_austin
Hosts wiki (and maybe some data) for universal voting in Austin (a.k.a. manditory voting)