Search Package Index

11 packages found

 PackageDescriptionBuild 

egal

Henry Baker's egal

This package needs documentation

This package needs license metadata

succeeds4

egg-herbie

A Herbie component to simplify mathematical expressions using the egg egraph library

This package needs documentation

License:
succeeds; has conflicts4

egg-herbie-linux

A Herbie component to simplify mathematical expressions using the egg egraph library (Linux pre-build package)

This package needs documentation

License:
succeeds; has conflicts; has failing tests5

egg-herbie-macosm1

A Herbie component to simplify mathematical expressions using the egg egraph library (arm64 macOS pre-build package)

This package needs documentation

License:
succeeds; has conflicts; has failing tests5

egg-herbie-osx

A Herbie component to simplify mathematical expressions using the egg egraph library (x86_64 macOS pre-build package)

This package needs documentation

License:
succeeds; has conflicts; has failing tests5

egg-herbie-windows

A Herbie component to simplify mathematical expressions using the egg egraph library (Windows pre-build package)

This package needs documentation

License:
succeeds; has failing tests5

lathe-morphisms

Interfaces for category theory concepts.

This package needs license metadata

succeeds2

lathe-morphisms-doc

Interfaces for category theory concepts. (doc)

This package needs license metadata

succeeds2

lathe-morphisms-lib

Interfaces for category theory concepts. (lib)

This package needs documentation

This package needs license metadata

succeeds4

lathe-morphisms-test

Interfaces for category theory concepts. (test)

This package needs documentation

This package needs license metadata

succeeds4

regraph

A pure-Racket equivalence graph

This package needs documentation

This package needs license metadata

succeeds4