egglog-python
egglog-python copied to clipboard
egraphs-good
Python bindings for the egg-smol rust library
Now with #111 landed, we have some more flexibility with type annotations. We can clean up the array API file a bit: - [ ] Move `ndarray_index` to classmethod of...
Currently `convert` takes a value then a type. We should think about reversing it, so it acts more like `cast`.
Currently the egglog builtins, i64, String, etc, are not documented because Sphinx's autodoc can't process them b/c they aren't real classes, but runtime values that act like classes. To fix...
Keeping this issues open with a list of running quality of life changes observed when watching someone else try out getting started. - [ ] i64 is not capitalized. It...
We could try switching to [pixi](https://pixi.sh/latest/) for development, so that we can pin lockfiles of all dev dependencies.
Bumps the rust-production group with 6 updates in the / directory: | Package | From | To | | --- | --- | --- | | [serde_json](https://github.com/serde-rs/json) | `1.0.116` |...
![dependabot[bot] avatar](https://avatars.githubusercontent.com/in/29110?v=4 "dependabot[bot] avatar"){kind=avatar}
We can add back the ability to use the builtin comparators on primitives, instead of using `eq` and `ne` functions to make things easier for folks.
Bumps the python-production group with 2 updates: [numba](https://github.com/numba/numba) and [llvmlite](https://github.com/numba/llvmlite). Updates `numba` from 0.59.1 to 0.60.0 Release notes Sourced from numba's releases. 0.60.0 Major Numba release. Commits 53e976f Merge pull...
Bumps the actions-production group with 4 updates in the / directory: [dtolnay/rust-toolchain](https://github.com/dtolnay/rust-toolchain), [CodSpeedHQ/action](https://github.com/codspeedhq/action), [docker/setup-qemu-action](https://github.com/docker/setup-qemu-action) and [PyO3/maturin-action](https://github.com/pyo3/maturin-action). Updates `dtolnay/rust-toolchain` from 1.71.1 to 1.90.0 Commits 1d86951 toolchain: 1.90.0 See full diff in...
Try adding a few commands that allow more metaprogramming like functionality, in response to @philzook58's blog post: https://www.philipzucker.com/egglog_z3_simp/