pqnelson

org-notes

pqnelson.github.com

Collection of Random Stuff

gcm

Toy General Circulation Model in Literate Fortran

LispReader

A proof-of-concept of Lisp Reader implementations

notebk

Alex Nelson's Notebook

bourbaki

Haskell code for Bourbaki's formal language

mal

Explorations in Implementing Lisp

MML

Literate parallel version of Mizar Math Library

physics-notes

A collection of notes on physics

political-arithmetic

Code related to the blog

blath

Math blog TeXnical stuff

bourbaki-class

LaTeX documentclass for Bourbaki books

climate-science

Notes on Climate Science and related fields

dotfiles

My dot-files setup

f77

Fortran 77 Compiler

fig

Finite Group Theory project

hol-c

A proof-of-concept LCF-style interactive theorem prover for HOL(C)

ieee754-mizar

Formalizing the 2019 revision of the IEEE-754 standard in Mizar

intro-to-maths

Notes on how to learn abstract mathematics using set theory

isabelle-mizar

Patching Kaliszyk and Pąk's code to work with Isabelle-2023

isabelle-nand2tetris

Isabelle/HOL implementation of Nand2Tetris

lie-miz

Lie Theory formalized in Mizar

literate-sml

Example of a literate Standard ML program using Noweb

mizar-playground

Exploring finite groups in Mizar

Mizar-system

Mizar proof assistant

mizarmode

mizarmode

Numerical-Analysis

soft-type

Formalizing Wiedijk's Soft Type Results in Coq

Statistics-for-Mathematicians

Statistics for (Pure) Mathematicians

tex-zk

Example of a Zettelkasten written using LaTeX macros and ISO-2145 numbering.