5 projects
pbt4automata
Property-based testing utilities for finite automata and context-free grammars.
pysolverkit
A Python library of numerical methods for root finding, interpolation, integration, ODEs, and linear systems
PythonAlloyClient
Python Client for the Alloy Language Server
Simpleafier
A command line tool to help improve the quality of Lean code by converting any "simp" to "simp only".
PyJail
A Python module for sandboxing code execution.
