HarrisonGrodin

Harrison Grodin's repositories

Simplify.jl

Algebraic simplification in Julia

Language:JuliaMIT81 7 36

Rewrite.jl

An efficient symbolic term rewriting engine

Language:JuliaMIT74 8 4

radical-julia

Radical ideas for the Julia language.

Language:Standard ML25 9 2

ATPL24

Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)

Language:TeX17 5 2

agda-modtt

ModTT in Agda

Language:Agda11 30

SpecialSets.jl

Representations of commonly-used sets

Language:JuliaMIT8 2 5

Completion.jl

Knuth-Bendix completion algorithm

Language:JuliaMIT4 1 1

computational-type-theory-2021

Computational Type Theory, Spring 2021.

Language:AgdaCC0-1.02 20

intrinsic-typing

Intrinsically typed encodings of programming languages.

Language:Agda2 20

JuliaCon2018

Resources from Rewrite.jl presentations at JuliaCon 2018.

Language:Jupyter NotebookMIT2 10

JuliaCon2020

JuliaCon 2020 poster

Language:TeX2 20

structure-editor

Structure editor for a basic typed functional programming language

Language:Elm2 20

1lab

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

Language:AgdaAGPL-3.0010

agda-stdlib

The Agda standard library

Language:AgdaNOASSERTION010

git-auto-commit-action

Automatically Commit changed Files back to Github with Github Actions

Language:ShellMIT010

gitignore

A collection of useful .gitignore templates

CC0-1.0010

plfa.github.io

An introduction to programming language theory in Agda

Language:HTMLCC-BY-4.0010

smackage

Smackage Package Manager for Standard ML

Language:Standard MLNOASSERTION010

tt02-verilog-demo

Verilog Collatz computer for TT02

Language:PythonApache-2.0010

TypeTopology

Logical manifestations of topological concepts, and other things. This version adopts the univalent point of view.

Language:AgdaGPL-3.0010