Can Lehmann's repositories
pathbeaver
Symbolic execution of LLVM IR
geometrymath
A linear algebra library for computer graphics and robotics applications.
owlkettle-crud
An example of a simple CRUD application in owlkettle
better-diagrams
Draw class diagrams from code
can-lehmann.github.io
My GitHub Pages Site
exprgrad_fpga
A prototype of an FPGA backend for exprgrad
egraphs.cpp
E-Graph library
Language:C++Apache-2.0000
unittest.cpp
Unittest framework for C++
Language:C++MIT000