Pinned Repositories
3-lisp
3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith
3Lisp.Ruby
Experimental 3Lisp interpreter written in Ruby.
CL
Experimentation with Combinatory Logic
DS-PhPL
Discussion Seminar: Philosophy of Programming Lanugages
Hypercube
A Haskell implementation of cumulative Universal Type Theory with a single binder
LC
Lambda Calculators
ldoce5viewer
Fast dictionary viewer for the Longman Dictionary of Contemporary English (LDOCE) 5th Edition.
S9fES
Scheme 9 from Empty Space
SExp
A library for parsing and serializing s-expressions
Twelve
Twelf playground
reflectionalist's Repositories
reflectionalist/S9fES
Scheme 9 from Empty Space
reflectionalist/DS-PhPL
Discussion Seminar: Philosophy of Programming Lanugages
reflectionalist/Hypercube
A Haskell implementation of cumulative Universal Type Theory with a single binder
reflectionalist/LC
Lambda Calculators
reflectionalist/SExp
A library for parsing and serializing s-expressions
reflectionalist/CL
Experimentation with Combinatory Logic
reflectionalist/ldoce5viewer
Fast dictionary viewer for the Longman Dictionary of Contemporary English (LDOCE) 5th Edition.
reflectionalist/Twelve
Twelf playground
reflectionalist/3-lisp
3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith
reflectionalist/3Lisp.Ruby
Experimental 3Lisp interpreter written in Ruby.
reflectionalist/AoPL
A book on programming languages, using Haskell
reflectionalist/APEXCalculus_Source
Source files for the APEX Calculus text
reflectionalist/beakerbrowser.com
Source code for https://beakerbrowser.com
reflectionalist/Bibliographies
reflectionalist/DotFiles
My dot-files
reflectionalist/Godels-Incompleteness-Theorems
A detailed explanation of one of the most important results in the history of math.
reflectionalist/hygienic-transformations
Hygienic Transformations
reflectionalist/Kiwi
A simple, intuitive and elegant wiki markup language
reflectionalist/Liscal
A Scheme dialect in Rascal
reflectionalist/pandoc
Universal markup converter
reflectionalist/pts
A Haskell implementation of the Pure Type System
reflectionalist/rascal
The core interpreter of the Rascal meta-programming language
reflectionalist/Seeing-Theory
A visual introduction to probability and statistics.
reflectionalist/TiddlyWiki5
A reboot of TiddlyWiki for the next 25 years
reflectionalist/wiki-website
Support site for Markdown Editor Typora