Name: Guy Scher
Type: User
Company: Cornell
Bio: PhD student, Cornell
Blog: https://sguysc.github.io
š Iām currently working on verifying and synthesizing new controls for stochastic (robotic) systems to satisfy or increase the probability to satisfy a high-level specification of tasks and maintain safety
šÆ Iām looking to collaborate on robotic research projects
advanced-lane-lines
udacity
automated_warehouse
Automatically generate provably-safe trajectories and controls for high-level specification
automatedwarehouseinaday
Automated Warehouse
car-behavioral-cloning
car-detection-estimation-ctrl
Detect cars from the dash cam, open tracks on them, control accordingly to surpass them
carnd-lanelines-p1
Lane Finding Project for Self-Driving Car ND
gaussian-sum-filter-ekf
Python implementation of a Gaussian sum filter (extended Kalman filter)
get2work
Here Mobility hackathon
here-get2work
pddl_task_allocation
Task allocation for multi-robot multiple pallets as a possible step prior to the warehouse automation in a day
perception_verification
Verification of control with noise distribution of mixture models in the loop
practical_rl
A course in reinforcement learning in the wild
pythonrobotics
Python sample codes for robotics algorithms.
rtamt
Specification-based real-time monitoring library
self-organising-systems
sguysc
sguysc.github.io
spotless
A fork of the Systems Polynomial Optimization Toolbox.
stless
swarm_gnn
decentralized formation control of swarms using deep learning - CS6700 project
traffic-sign-classifier-project
React
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
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
Django
The Web framework for perfectionists with deadlines.
Laravel
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.
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
Microsoft
Open source projects and samples from Microsoft.
Google
Google ā¤ļø Open Source for everyone.
Alibaba
Alibaba Open Source for everyone
D3
Data-Driven Documents codes.
Tencent
China tencent open source team.
