-
drake Public
Forked from RobotLocomotion/drakeA planning, control, and analysis toolbox for nonlinear dynamical systems. More info at
-
dreal4 Public archive
Forked from dreal/dreal4SMT Solver for Nonlinear Theories of Reals
SMT Apache License 2.0 UpdatedJul 23, 2021 -
-
-
-
zinit Public
Forked from akatrevorjay/zpluginFlexible and fast Zsh plugin manager with clean fpath, reports, completion management, Turbo, annexes, services, packages.
C UpdatedFeb 10, 2021 -
-
jilles.net Public
Forked from ojilles/jilles.netWeblog software (running on top of Jekyll)
HTML UpdatedJun 7, 2020 -
fastsyntaxhighlighting Public
fast-syntax-highlighting
Shell BSD 3-Clause "New" or "Revised" License UpdatedMar 7, 2020 -
-
-
homebrew-core Public
Forked from Homebrew/homebrew-core🍻 Default formulae for the missing package manager for macOS
Ruby BSD 2-Clause "Simplified" License UpdatedFeb 4, 2020 -
homebrew-tap Public
Forked from bazelbuild/homebrew-tapThis repository contains a collection of Homebrew (aka, Brew) "formulae" for Bazel
Ruby Apache License 2.0 UpdatedDec 19, 2019 -
-
bazel-compilation-database Public
Forked from grailbio/bazel-compilation-databaseTool to generate compile_commands.json from the Bazel build system
Python Apache License 2.0 UpdatedSep 16, 2019 -
fbstab Public
Forked from dliaomcp/fbstabAn implementation of the FBstab quadratic programming solver.
Python BSD 3-Clause "New" or "Revised" License UpdatedAug 9, 2019 -
-
-
klee-float Public
Forked from srg-imperial/klee-floatKLEE with floating point support
C++ Other UpdatedMay 22, 2019 -
-
libcds Public
Forked from khizmax/libcdsA C++ library of Concurrent Data Structures
C++ Boost Software License 1.0 UpdatedApr 23, 2019 -
cpp-taskflow Public
Forked from taskflow/taskflowModern C++ Parallel Task Programming Library
C++ Other UpdatedApr 23, 2019 -
cpplint Public
Forked from cpplint/cpplintStatic code checker for C++
Python Other UpdatedApr 16, 2019 -
-
-
dreal3 Public
Forked from dreal/dreal3New version of the dReal solver. More info at
SMT GNU General Public License v3.0 UpdatedMar 12, 2018 -
.emacs.d Public
Forked from felixSchl/.emacs.dPersonal emacs configuration
Emacs Lisp UpdatedJan 30, 2018 -
mtidd Public
Forked from dzufferey/mtiddA C++ library for multi-terminal (reduced ordered) interval decision diagrams
C++ Apache License 2.0 UpdatedJul 3, 2017 -
-
CppConcurrencyInAction Public
Forked from CppKorea/CppConcurrencyInAction2015년 하반기에 진행하는 C++ Concurrency in Action 스터디 관련 자료입니다.
C++ UpdatedAug 27, 2016
{{ message }}