BisPy - Python bisimulation library
☆16Jan 21, 2022Updated 4 years ago
Alternatives and similar repositories for BisPy
Users that are interested in BisPy are comparing it to the libraries listed below
Sorting:
- Generic Linear Algebra Porting of PyDMD [Ongoing]☆11Aug 11, 2023Updated 2 years ago
- A simple Python package for deep learning using forward automatic differentiation based on JAX.☆14Aug 17, 2022Updated 3 years ago
- Mathematical interdisciplinary toolbox for helping engineers, researchers and scientist☆20Mar 6, 2025Updated 11 months ago
- A toolkit for higher-dimensional diagram rewriting.☆18Sep 15, 2022Updated 3 years ago
- Kleene algebra modulo theories☆27Nov 21, 2022Updated 3 years ago
- A fast Key-Value Pure Golang Database created mostly for fun☆10Mar 9, 2024Updated last year
- Building the linear algebra game!☆10Dec 2, 2024Updated last year
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆51Apr 18, 2018Updated 7 years ago
- OpenRGB compatible high-performance SDK server for VIA per-key RGB.☆13Feb 9, 2026Updated 2 weeks ago
- Canonical normalizing flows☆10Apr 30, 2019Updated 6 years ago
- A programming language☆11Jan 7, 2022Updated 4 years ago
- A regular expression to SMT-LIB constraint translator☆12Jul 12, 2025Updated 7 months ago
- Scroll smoothly☆12Feb 21, 2026Updated last week
- ☆12Mar 10, 2024Updated last year
- Isometric Love design tool☆18Jan 23, 2019Updated 7 years ago
- This is a POC for the CVE-2023-3883 exploit targeting WinRAR up to 6.22. Modified some existing internet-sourced POCs by introducing grea…☆13Aug 31, 2023Updated 2 years ago
- A mod that adds a bit of functionality and a bit of performance into thaumcraft 4.☆12Jan 10, 2026Updated last month
- Репозиторий для лабораторных и просто работ по программе обучения на кафедре ИУ9☆12Nov 15, 2025Updated 3 months ago
- Simple implementation of a p2p chat from web browsers☆12Dec 5, 2025Updated 2 months ago
- Go Package provides a generic data types similar to that of Ruby☆13Jan 22, 2026Updated last month
- CS 294-144 Blockchain, Cryptoeconomics, and the Future of Technology, Business and Law (Spring 2018)☆10Apr 25, 2018Updated 7 years ago
- A python client for the devtools protocol☆17Apr 7, 2025Updated 10 months ago
- ☆17Feb 8, 2026Updated 2 weeks ago
- Port of Peter Meyers Timewave Zero to JS☆16Jun 13, 2012Updated 13 years ago
- A Claude Code Plugin that enables seamless integration with Codex AI Agent for code analysis, implementation, and collaboration tasks.☆23Jan 20, 2026Updated last month
- An SMT Solver for string constraints☆48Feb 10, 2026Updated 2 weeks ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 7 years ago
- Implementation of Tree esoteric programming language☆10Mar 3, 2023Updated 2 years ago
- Inefficient and syntactically unwieldy implementation of algebraic effects in Python using generators☆13Aug 31, 2020Updated 5 years ago
- ASCII Tree Manipulator☆18Aug 18, 2025Updated 6 months ago
- ☆11Nov 28, 2021Updated 4 years ago
- Radvylf Should Not Be Allowed To Write Programming Languages☆12Nov 11, 2022Updated 3 years ago
- Tiny dynamic dispatch in Rust☆10Apr 17, 2023Updated 2 years ago
- Collection of generative art made by me.☆10Jul 8, 2018Updated 7 years ago
- Free PDF creator in pure Golang☆13Aug 27, 2025Updated 6 months ago
- John Shutt's "Kernel" language implemented on ABE (C) runtime.☆13Sep 3, 2018Updated 7 years ago
- A Dependently Timed Drum Machine Language☆11May 4, 2024Updated last year
- Vivacious terminal windows for Jupyter Book and Sphinx.☆11Jul 1, 2021Updated 4 years ago
- Repository for the Tandem Vim Plugin☆12Mar 15, 2018Updated 7 years ago