yuning30 Goto Github PK
Type: User
Type: User
Student Materials for MTC Azure ML Workshop
Analysis of SQL Leetcode and classic interview questions. Common pitfalls, anti-patterns and handy tricks are discussed. Sample databases are provided.
:notebook:Solutions to Introduction to Algorithms
Code for Learning Barrier Certificates: Towards Safe Reinforcement Learning with Zero Training-time Violations
:books: 技术面试必备基础知识、Leetcode、计算机操作系统、计算机网络、系统设计、Java、Python、C++
Source code for deep symbolic optimization.
Code for experiments in the paper: "Compositional Reinforcement Learning from Logical Specifications" (https://arxiv.org/abs/2106.13906).
EECS 489: Computer Networks @ the University of Michigan
Euphony: a probabilistic model-guided program synthesizer
Minimalistic gridworld package for OpenAI Gym
Hazel, a live functional programming environment with typed holes
Simple real time visualisation of the execution of a Python program.
Karel dataset for program synthesis and program induction
Course to get into Large Language Models (LLMs) with roadmaps and Colab notebooks.
This repository has code for the paper "Model-based Safe Deep Reinforcement Learning via a Constrained Proximal Policy Optimization Algorithm" accepted at NeurIPS 2022.
PFRL: a PyTorch-based deep reinforcement learning library
POLAR official tool
Reachability Analysis Tool of Neural Network Controlled Systems (NNCSs)
Symbolic Preconditions for Constrained Exploration
Simulate a simple Ackermann steering vehicle in Gazebo using ros_control.
Steer drive package for ROS
Programming & Elem. Data Structures
TACAS'23: Verification-guided Programmatic Controller Synthesis
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.