Thanks to visit codestin.com
Credit goes to github.com

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,339 134 Updated Oct 18, 2024

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

CMake 3,849 215 Updated May 18, 2025

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

1,230 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++ 1,974 173 Updated Jan 13, 2026

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

Python 2,402 847 Updated May 8, 2022

All Algorithms implemented in Python

Python 216,913 49,961 Updated Jan 5, 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 63 19 Updated Nov 17, 2024

C++ parsing DSL

C++ 1,219 82 Updated Oct 18, 2025

Cracking the Coding Interview 6th Ed. Python Solutions

Python 5,182 1,869 Updated Sep 12, 2023

kv - a C++ Library for Verified Numerical Computation

C++ 93 6 Updated Mar 15, 2025

Tools for dealing with very large Bazel-managed repositories

Java 170 16 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,946 447 Updated Nov 9, 2025

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 120 19 Updated Sep 30, 2022

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

C++ 2,593 293 Updated Jan 16, 2026

GCC-based toolchain for RH850

Dockerfile 17 9 Updated Jun 27, 2021

Animation engine for explanatory math videos

Python 83,729 7,069 Updated Oct 20, 2025

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

Python 171 24 Updated Apr 23, 2023

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++ 804 135 Updated Dec 17, 2025

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,091 422 Updated Jan 16, 2026

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

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

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

C++ 1,427 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 265 44 Updated Jan 16, 2026

Parsing Expression Grammar Template Library

C++ 2,099 246 Updated Jan 10, 2026

Protect your SSH keys with your Mac's Secure Enclave

Swift 8,077 185 Updated Jan 6, 2026

Rudimentary Roam replica with Org-mode

Emacs Lisp 5,885 492 Updated Jan 7, 2026
Next