The Home of Community

800K+ People
300K+ Rooms
90K+ Communities
100+ Countries

pietrobraione / jbse

A symbolic Java virtual machine for program analysis, verification and test generation

java symbolic virtual machine program analysis

cdsousa / SymPyBotics

Symbolic Framework for Modeling and Identification of Robot Dynamics

python symbolic framework modeling identification robot