Owner
HarrisonGrodin
6 indexed repositories · View on GitHub
-
Simplify.jl
Algebraic simplification in Julia
Julia · 83 stars
-
Rewrite.jl
An efficient symbolic term rewriting engine
Julia · 78 stars
-
radical-julia
Radical ideas for the Julia language.
Standard ML · 26 stars
-
ATPL24
Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)
TeX · 19 stars
-
SpecialSets.jl
Representations of commonly-used sets
Julia · 8 stars
-
Completion.jl
Knuth-Bendix completion algorithm
Julia · 4 stars
-
enhancement
HarrisonGrodin/Completion.jl#2 · 0 comments · 0 reactions · 0 assignees ·
-
Unions Openfeature
HarrisonGrodin/SpecialSets.jl#1 · 0 comments · 0 reactions · 1 assignee ·
-
Set differences Openfeature
HarrisonGrodin/SpecialSets.jl#2 · 0 comments · 0 reactions · 1 assignee ·
-
feature
HarrisonGrodin/SpecialSets.jl#3 · 0 comments · 0 reactions · 1 assignee ·
-
Constraint ligatures Openfeature
HarrisonGrodin/SpecialSets.jl#4 · 0 comments · 0 reactions · 0 assignees ·
-
feature
HarrisonGrodin/SpecialSets.jl#7 · 0 comments · 0 reactions · 0 assignees ·
-
Domain images Openfeature
HarrisonGrodin/Simplify.jl#17 · 0 comments · 0 reactions · 0 assignees ·
-
feature
HarrisonGrodin/Simplify.jl#18 · 1 comment · 0 reactions · 0 assignees ·
-
standard
HarrisonGrodin/Simplify.jl#20 · 0 comments · 0 reactions · 0 assignees ·
-
bug
HarrisonGrodin/Simplify.jl#21 · 0 comments · 0 reactions · 0 assignees ·
-
Named rules Openfeature good first issue
HarrisonGrodin/Simplify.jl#28 · 0 comments · 0 reactions · 0 assignees ·
-
feature
HarrisonGrodin/Simplify.jl#29 · 0 comments · 0 reactions · 0 assignees ·
-
improvement
HarrisonGrodin/Simplify.jl#32 · 7 comments · 1 reaction · 0 assignees ·
-
feature question
HarrisonGrodin/Simplify.jl#33 · 3 comments · 0 reactions · 0 assignees ·
-
bug help wanted improvement
HarrisonGrodin/Simplify.jl#34 · 0 comments · 0 reactions · 0 assignees ·
-
feature
HarrisonGrodin/Simplify.jl#35 · 0 comments · 0 reactions · 0 assignees ·
-
Reduce compile times Openimprovement performance
HarrisonGrodin/Simplify.jl#38 · 0 comments · 1 reaction · 0 assignees ·
-
question standard
HarrisonGrodin/Simplify.jl#41 · 2 comments · 0 reactions · 0 assignees ·
-
question
HarrisonGrodin/Simplify.jl#46 · 5 comments · 0 reactions · 1 assignee ·
-
bug
HarrisonGrodin/Simplify.jl#49 · 0 comments · 0 reactions · 0 assignees ·
-
feature
HarrisonGrodin/Simplify.jl#50 · 0 comments · 0 reactions · 0 assignees ·
-
bug
HarrisonGrodin/Simplify.jl#53 · 4 comments · 0 reactions · 0 assignees ·
-
feature
HarrisonGrodin/Simplify.jl#54 · 0 comments · 0 reactions · 0 assignees ·
-
improvement performance
HarrisonGrodin/Simplify.jl#55 · 0 comments · 0 reactions · 0 assignees ·
-
performance
HarrisonGrodin/Simplify.jl#62 · 0 comments · 1 reaction · 0 assignees ·
-
feature performance
HarrisonGrodin/Simplify.jl#68 · 0 comments · 1 reaction · 0 assignees ·
-
Use Terms.jl Openimprovement performance
HarrisonGrodin/Simplify.jl#71 · 0 comments · 0 reactions · 0 assignees ·
-
HarrisonGrodin/Simplify.jl#78 · 0 comments · 1 reaction · 0 assignees ·
-
handling Irrationals Open
HarrisonGrodin/Simplify.jl#81 · 0 comments · 0 reactions · 0 assignees ·
-
handling imaginary Open
HarrisonGrodin/Simplify.jl#82 · 0 comments · 0 reactions · 0 assignees ·
-
HarrisonGrodin/radical-julia#2 · 0 comments · 0 reactions · 0 assignees ·
-
HarrisonGrodin/radical-julia#3 · 1 comment · 0 reactions · 0 assignees ·
-
Typed Theories Open
HarrisonGrodin/Rewrite.jl#27 · 0 comments · 0 reactions · 0 assignees ·
-
HarrisonGrodin/Rewrite.jl#28 · 0 comments · 0 reactions · 0 assignees ·
-
HarrisonGrodin/ATPL24#27 · 0 comments · 0 reactions · 0 assignees ·