Harrison Grodin's repositories
Simplify.jl
Algebraic simplification in Julia
Rewrite.jl
An efficient symbolic term rewriting engine
radical-julia
Radical ideas for the Julia language.
agda-modtt
ModTT in Agda
SpecialSets.jl
Representations of commonly-used sets
Completion.jl
Knuth-Bendix completion algorithm
computational-type-theory-2021
Computational Type Theory, Spring 2021.
intrinsic-typing
Intrinsically typed encodings of programming languages.
JuliaCon2018
Resources from Rewrite.jl presentations at JuliaCon 2018.
JuliaCon2020
JuliaCon 2020 poster
structure-editor
Structure editor for a basic typed functional programming language
agda-stdlib
The Agda standard library
git-auto-commit-action
Automatically Commit changed Files back to Github with Github Actions
plfa.github.io
An introduction to programming language theory in Agda
tt02-verilog-demo
Verilog Collatz computer for TT02
TypeTopology
Logical manifestations of topological concepts, and other things. This version adopts the univalent point of view.