Pinned Repositories
economics-notes
Notes on classical economics
gcm
Toy General Circulation Model in Literate Fortran
LispReader
A proof-of-concept of Lisp Reader implementations
ml
A Study in Implementing Functional Programming Languages
notebk
Alex Nelson's Notebook
org-notes
pqnelson.github.com
Collection of Random Stuff
pqnelson's Repositories
pqnelson/org-notes
pqnelson/pqnelson.github.com
Collection of Random Stuff
pqnelson/gcm
Toy General Circulation Model in Literate Fortran
pqnelson/LispReader
A proof-of-concept of Lisp Reader implementations
pqnelson/notebk
Alex Nelson's Notebook
pqnelson/bourbaki
Haskell code for Bourbaki's formal language
pqnelson/mal
Explorations in Implementing Lisp
pqnelson/MML
Literate parallel version of Mizar Math Library
pqnelson/physics-notes
A collection of notes on physics
pqnelson/bourbaki-class
LaTeX documentclass for Bourbaki books
pqnelson/climate-science
Notes on Climate Science and related fields
pqnelson/dotfiles
My dot-files setup
pqnelson/f77
Fortran 77 Compiler
pqnelson/fig
Finite Group Theory project
pqnelson/hol-c
A proof-of-concept LCF-style interactive theorem prover for HOL(C)
pqnelson/ieee754-mizar
Formalizing the 2019 revision of the IEEE-754 standard in Mizar
pqnelson/intro-to-maths
Notes on how to learn abstract mathematics using set theory
pqnelson/isabelle-mizar
Patching Kaliszyk and Pąk's code to work with Isabelle-2023
pqnelson/isabelle-nand2tetris
Isabelle/HOL implementation of Nand2Tetris
pqnelson/lie-miz
Lie Theory formalized in Mizar
pqnelson/literate-sml
Example of a literate Standard ML program using Noweb
pqnelson/md
Markdown-to-html translator in Standard ML, as part of a literate programming tool
pqnelson/mizar-playground
Exploring finite groups in Mizar
pqnelson/Mizar-system
Mizar proof assistant
pqnelson/mizarmode
mizarmode
pqnelson/Numerical-Analysis
pqnelson/sml-xunit
XUnit Framework for Standard ML
pqnelson/Standard-ML-1997-Annotations
Annotations and commentary on the 1997 Definition of Standard ML
pqnelson/tangle-md
Extract source code from literate markdown files
pqnelson/tex-zk
Example of a Zettelkasten written using LaTeX macros and ISO-2145 numbering.