sunandanadhikary Goto Github PK
Name: Sunandan Adhikary
Type: User
Company: IIT Kharagpur
Bio: je pense donc je suis
Location: India
Name: Sunandan Adhikary
Type: User
Company: IIT Kharagpur
Bio: je pense donc je suis
Location: India
A curated list of awesome READMEs
SMT Benchmarks of Hybrid Systems for Verification using SafeEMC
Matlab Interface for Control Barrier Function (CBF) and Control Lyapunov Function (CLF) based control methods.
codes4course
All my control system books and tutorials
New version of the dReal solver. More info at
Material for the course ELE6953E: CPS and IoT at Polytechnique Montreal
Our Lab Website
A C++ source code/program that will convert an expression in infix notation to to the equivalent expression in prefix (polish) notation. (C++)
Code to turn infix into prefix in parenthesised way
Extension for Jackson JSON processor that adds support for serializing POJOs as XML (and deserializing from XML) as an alternative to JSON
Generate Java types from JSON or JSON Schema and annotates those types for data-binding with Jackson, Gson, etc
Complete solutions for exercises and MATLAB example codes for "Machine Learning: A Probabilistic Perspective" 1/e by K. Murphy
Ubuntu PPA updater for dReal
Differentially private dynamic data analysis in Julia
Probabilistic reachability and parameter set synthesis for stochastic hybrid systems
Automated Controller Synthesis
api and consumer
Safe Reinforcement Learning in Constrained Markov Decision Processes
Safe exploration in Markov Decision Processes
SaverECS : A safety verification tool for verification of embedded control software running in closed-loop with plants, under perturbations and different scheduling scenarios.
SaverECS : A safety verification tool for verification of embedded control software running in closed-loop with plants, under perturbations and different scheduling scenarios.
this is the repo with various systems tested with secure patterns
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.