Skip to content
View soonho-tri's full-sized avatar

Organizations

@RobotLocomotion @dreal @interlock-mit

Block or report soonho-tri

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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

Tiny Differentiable Simulator is a header-only C++ and CUDA physics library for reinforcement learning and robotics with zero dependencies.

C++ 1,356 135 Updated Oct 18, 2024

📦 CMake's missing package manager. A small CMake script for setup-free, cross-platform, reproducible dependency management.

CMake 3,956 218 Updated Jan 18, 2026

📚 신입 개발자로서 성장을 위한 전공 지식을 정리합니다 😊

1,227 119 Updated Dec 12, 2022

Fast and exact implementation of the C++ from_chars functions for number types: 4x to 10x faster than strtod, part of GCC 12, MySQL, Chromium, Redis and WebKit/Safari

C++ 2,032 181 Updated Mar 30, 2026

[한빛미디어] "이것이 취업을 위한 코딩 테스트다 with 파이썬" 전체 소스코드 저장소입니다.

Python 2,411 844 Updated May 8, 2022

All Algorithms implemented in Python

Python 219,133 50,281 Updated Mar 27, 2026

파이썬 코딩의 기술 개정2판(Effective Python, 2nd) 소스 코드입니다

Python 68 45 Updated Feb 3, 2021

Keynotes from Effective Python: 90 Specific Ways to Write Better Python (2nd Edition) (Effective Software Development Series)

Python 64 19 Updated Nov 17, 2024

C++ parsing DSL

C++ 1,238 83 Updated Oct 18, 2025

Cracking the Coding Interview 6th Ed. Python Solutions

Python 5,202 1,865 Updated Sep 12, 2023

kv - a C++ Library for Verified Numerical Computation

C++ 94 6 Updated Mar 16, 2026

Tools for dealing with very large Bazel-managed repositories

Java 169 15 Updated Feb 20, 2020

The Python Control Systems Library is a Python module that implements basic operations for analysis and design of feedback control systems.

Python 1,993 453 Updated Feb 15, 2026

PLA (Portable Linear Algebra) is designed to be a portable, single header, MISRA compliant C, linear algebra library.

C++ 7 Updated Mar 16, 2018

SAT Solver SATCH

C 122 20 Updated Feb 10, 2026

C++ wrappers for SIMD intrinsics and parallelized, optimized mathematical functions (SSE, AVX, AVX512, NEON, SVE, WebAssembly, VSX, RISC-V))

C++ 2,645 299 Updated Mar 30, 2026

GCC-based toolchain for RH850

Dockerfile 17 11 Updated Jun 27, 2021

Animation engine for explanatory math videos

Python 85,643 7,194 Updated Mar 26, 2026

Baba Is You simulator using C++ with some reinforcement learning

Python 181 25 Updated Mar 20, 2026

Linear delta-complete SMT solver, based on dreal4 (https://github.com/dreal/dreal4)

C++ 5 1 Updated Sep 12, 2021

A header-only C++ library for numerical optimization --

C++ 805 135 Updated Feb 2, 2026

CLI11 is a command line parser for C++11 and beyond that provides a rich feature set with a simple and intuitive interface.

C++ 4,217 436 Updated Mar 29, 2026

Extremely simple yet powerful header-only C++ plotting library built on the popular matplotlib

C++ 4,745 1,192 Updated Nov 21, 2023

Implementation of python itertools and builtin iteration functions for C++17

C++ 1,429 122 Updated Dec 7, 2025

www

Python 1 3 Updated May 11, 2021

Experiment code for "Randomized Automatic Differentiation"

Python 67 8 Updated Jul 22, 2020

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

Haskell 266 45 Updated Mar 30, 2026

Parsing Expression Grammar Template Library

C++ 2,116 245 Updated Mar 24, 2026

Protect your SSH keys with your Mac's Secure Enclave

Swift 8,340 194 Updated Mar 26, 2026

Rudimentary Roam replica with Org-mode

Emacs Lisp 5,928 492 Updated Feb 24, 2026
Next