zutshi Goto Github PK
Name: Aditya Zutshi
Type: User
Company: Galois, Inc
Name: Aditya Zutshi
Type: User
Company: Galois, Inc
Simulation and analysis tools for autonomous F-16 maneuvers as a V&V benchmark
Python Version of F-16 Maneuver Verification Benchmark
AeroBenchVVPython3
csmith
simulator from data
Data Drive Analysis of Dynamical Systems
Library to plot regions and boundaries given inequalities
A collection of useful .gitignore templates
Hybrid Automata Simulator
A data-driven SyGuS tool that generates provably sufficient loop invariants for program verification.
A timed regular expression matcher over timed symbolic behaviors
A tool to learn Piecewise Affine Models from Input-Output Data.
The opensmt solver
The papy package provides an implementation of the flow-based programming paradigm in Python
Benchmarks for SMT solvers obtained from PWA dynamical systems
Ad-hoc script to generate z3 expressions out of a limited set of Python expressions
PyDSTool main development repo
A Python bridge to Matlab's fmincon (requires a Matlab license).
Updated fork of T. Finley's PyGLPK module
py utils
OpenAI Gym environments for an open-source quadruped robot (SpotMicro)
Falsification Tool
Refinement using Affine models
Simulate and Scatter with Symbolic Execution
Extension to highlight SAL syntax in vscode
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.