issues
search
AlgebraicJulia
/
Catlab.jl
A framework for applied category theory in the Julia language
https://www.algebraicjulia.org
MIT License
608
stars
58
forks
source link
VM-based homomorphism search
#830
Closed
olynch
closed
5 months ago
kris-brown
commented
8 months ago
Future work:
Handle attributes,
initial
/
monic
/etc. constraints
Sample random codomains and optimize the compiled program
Convert program into an actual julia function rather than interpreting the VM
Load instruction has
f
as a symbol, so dynamic dispatch used. This could be made static.
Future work:
initial/monic/etc. constraintsfas a symbol, so dynamic dispatch used. This could be made static.