├── .github └── workflows │ └── build.yml ├── .gitignore ├── Cargo.toml ├── LICENSE ├── Makefile ├── README.md ├── pyproject.toml ├── snake_egg ├── __init__.py ├── __init__.pyi ├── py.typed └── tests │ ├── test_dataclass.py │ ├── test_dynamic.py │ ├── test_egg_interface.py │ ├── test_math.py │ ├── test_prop.py │ └── test_simple.py └── src ├── core.rs ├── lang.rs ├── lib.rs └── util.rs /.github/workflows/build.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/snake-egg/HEAD/.github/workflows/build.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/snake-egg/HEAD/.gitignore -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/snake-egg/HEAD/Cargo.toml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/snake-egg/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/snake-egg/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/snake-egg/HEAD/README.md -------------------------------------------------------------------------------- /pyproject.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/snake-egg/HEAD/pyproject.toml -------------------------------------------------------------------------------- /snake_egg/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/snake-egg/HEAD/snake_egg/__init__.py -------------------------------------------------------------------------------- /snake_egg/__init__.pyi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/snake-egg/HEAD/snake_egg/__init__.pyi -------------------------------------------------------------------------------- /snake_egg/py.typed: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /snake_egg/tests/test_dataclass.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/snake-egg/HEAD/snake_egg/tests/test_dataclass.py -------------------------------------------------------------------------------- /snake_egg/tests/test_dynamic.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/snake-egg/HEAD/snake_egg/tests/test_dynamic.py -------------------------------------------------------------------------------- /snake_egg/tests/test_egg_interface.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/snake-egg/HEAD/snake_egg/tests/test_egg_interface.py -------------------------------------------------------------------------------- /snake_egg/tests/test_math.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/snake-egg/HEAD/snake_egg/tests/test_math.py -------------------------------------------------------------------------------- /snake_egg/tests/test_prop.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/snake-egg/HEAD/snake_egg/tests/test_prop.py -------------------------------------------------------------------------------- /snake_egg/tests/test_simple.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/snake-egg/HEAD/snake_egg/tests/test_simple.py -------------------------------------------------------------------------------- /src/core.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/snake-egg/HEAD/src/core.rs -------------------------------------------------------------------------------- /src/lang.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/snake-egg/HEAD/src/lang.rs -------------------------------------------------------------------------------- /src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/snake-egg/HEAD/src/lib.rs -------------------------------------------------------------------------------- /src/util.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/egraphs-good/snake-egg/HEAD/src/util.rs --------------------------------------------------------------------------------