Skip to content
View yunaHwang's full-sized avatar

Block or report yunaHwang

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this userโ€™s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Using SyGuS to synthesize reactive motion planners.

Slash 3 Updated Feb 4, 2022

Collection of tutorials and examples for the Robot Operating System ROS 2

C++ 124 32 Updated Sep 13, 2020

URDF Test for UR3e robot arm

Makefile 1 Updated Oct 28, 2024

All about human-AI interaction (HCI + AI).

61 1 Updated Feb 25, 2024

Use LLM to stream diagrams, instead of tokens, in real-time! (UIST 2023 Paper)

TypeScript 259 40 Updated Apr 14, 2024

An extensible benchmark for evaluating large language models on planning

PDDL 290 31 Updated May 21, 2024

PIPE - Platform Independent Petri Net Editor

Java 236 73 Updated Jun 28, 2022

Harness LLMs with Multi-Agent Programming

Python 2,632 249 Updated Nov 13, 2024

All kinds of things

Vue 4,847 570 Updated Sep 22, 2024

Google Research

Jupyter Notebook 34,273 7,913 Updated Nov 12, 2024

Python library for working with Metric Temporal Logic (MTL)

Python 93 19 Updated Feb 20, 2023

A collection of infrastructure and tools for research in neural network interpretability.

Jupyter Notebook 4,672 654 Updated Feb 6, 2023

Data and code behind the articles and graphics at FiveThirtyEight

Jupyter Notebook 16,857 10,951 Updated Oct 28, 2024

Animation engine for explanatory math videos

Python 70,595 6,212 Updated Oct 27, 2024

100 numpy exercises (with solutions)

Python 12,185 5,746 Updated Jun 26, 2024

Anomaly detection related books, papers, videos, and toolboxes

Python 8,386 1,755 Updated Jul 11, 2024

Interesting resources related to XAI (Explainable Artificial Intelligence)

R 822 138 Updated May 31, 2022

Guide KorQuAD upload to leaderboard (EM 68.947 / F1 88.468) model which only use BERT-multilingual(single)

Python 41 13 Updated May 1, 2019

all kinds of text classification models and more with deep learning

Python 7,858 2,570 Updated Sep 28, 2023

๐Ÿ“ƒ A list of practical projects that anyone can solve in any programming language.

45,278 10,567 Updated Aug 14, 2024

์˜ˆ์ œ๋กœ ๋ฐฐ์šฐ๋Š” ๋จธ์‹ ๋Ÿฌ๋‹ ์•Œ๊ณ ๋ฆฌ์ฆ˜ 2018

Jupyter Notebook 4 3 Updated Dec 18, 2019

Final presentation: https://youtu.be/VPPsDhy_UjU

4 1 Updated Jun 21, 2020

18.06 course at MIT

Jupyter Notebook 2,552 684 Updated Sep 14, 2024