Stars
An interactive theorem prover for string diagrams
The Python toolkit for computing with string diagrams.
A toolkit for higher-dimensional diagram rewriting.
Haskell implementation of open games
Category Theory Morphism Mapper - Cross-domain problem solving using category theory
A place to collect work on dialectica categories.
A lightweight, object-oriented finite state machine implementation in Python with many extensions
Cellular Automata Environments for Reinforcement Learning
Python package for numerical derivatives and partial differential equations in any number of dimensions.
Classes and tailored optimization routines for zonotopes, constrained zonotopes, and hybrid zonotopes
pycvxset is a Python package for manipulation and visualization of convex sets.
Recommend new arxiv papers of your interest daily according to your Zotero libarary.
🎓Automatically Update CV Papers Daily using Github Actions
The most powerful local music generation model that outperforms almost all commercial alternatives, supporting Mac, AMD, Intel, and CUDA devices.
This repository contains the source-code developed and used to generate all the results in the research paper "Formal Verification of Linear Temporal Logic Specifications Using Hybrid Zonotope-Base…
Python library that implements ZPC: Zonotopic Data-Driven Predictive Control.
Zonotope implementation in python. Supports CVXPY
A Toolbox For Polytopic Objects, Operations, and Containment Problems
Minimal package for operations on polytopes, zonotopes, and invariant sets.
KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)