Harrison Grodin

icon indicating a website link https://www.harrisongrodin.com icon indicating an email [email protected]

icon company Carnegie Mellon University icon location Pittsburgh, PA icon location PhD Student in PL @ CMU CSD

Results 4 repositories owned by Harrison Grodin

Simplify.jl

81
Stars
5
Forks
Watchers

Algebraic simplification in Julia

verified publisher icon HarrisonGrodin

Rewrite.jl

75
Stars
6
Forks
Watchers

An efficient symbolic term rewriting engine

verified publisher icon HarrisonGrodin

radical-julia

25
Stars
1
Forks
Watchers

Radical ideas for the Julia language.

verified publisher icon HarrisonGrodin

ATPL24

16
Stars
0
Forks
Watchers

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

verified publisher icon HarrisonGrodin