Completed
Welcome!
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Unleashing Algebraic Metaprogramming in Julia with Metatheory.jl
Automatically move to the next video in the Classroom when playback concludes
- 1 Welcome!
- 2 Introduction
- 3 What can we do with Metatheory.jl?
- 4 Equations are good
- 5 Classical rewriting
- 6 E-Graph
- 7 The path to the E-Graph
- 8 Why Julia?
- 9 A sketch of an E-Graph in Julia
- 10 Equality saturation
- 11 What is so cool about e-graphs?
- 12 Classical rewriting vs E-Graph rewriting
- 13 Symbolics.jl
- 14 Fibonacci with SymbolicUtils.jl vs Metatheory.jl
- 15 Category Theory
- 16 Going faster than Knuth-Bendix
- 17 Other Experiments
- 18 Future directions
