Name: Chelsea Sidrane
Type: User
Company: Stanford University
273_final_project_nsc
aa228-notebook
IJulia notebooks for AA228/CS238 Decision Making Under Uncertainty course at Stanford University
adaptivestresstestingtoolbox
A toolbox for worst-case validation of autonomous policies
alpha-beta-crown
alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021 and 2022)
automotivedrivingmodels.jl
Driving simulation architecture for Julia
automotivesimulator.jl
Package for automotive simulation in julia
autourban.jl
Additional packages for AutomotiveDrivingModels.jl in urban driving simulation
c3m
Learning Certified Control Using Contraction Metric (CoRL 2020)
chelseas
Config files for my GitHub profile.
chelseas.github.io
course
CME212 Course Information
cpo
Constrained Policy Optimization
cvc4
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
deeprl.jl
Interface for deep reinforcement learning
drashtikon
Classifying the extra-ocular diseases from pre-op images
expr2mip.jl
garage
A toolkit for reproducible reinforcement learning research
glowupvibes.jl
graphs.jl
Working with graphs in Julia
gym_new_env
open ai gym environment + some new problems.
lightgaffes.jl
A Julia package for dealing with slightly embarrassing social situations.
meshpy
2D/3D simplicial mesh generator interface for Python (Triangle, TetGen, gmsh)
multigraphs.jl
multigraphs_draft
neuralverification.jl
Methods to soundly verify deep neural networks
nnet
Documentation and scripts related to the .nnet file format. This file format specifies a simple text file to define feed-forward, fully-connected, ReLU activated neural networks. Example networks in this format can be found in the Reluplex repository.
nnv
Maltab Toolbox For Neural Network Verification
obstacle_avoidance_mpc
simple nonlinear MPC
overt
pendulumproject
2D Simulation of a Four-bar Linkage and Arbitrary Length Pendulums
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.
