soonho-tri Goto Github PK

.emacs.d

Personal emacs configuration

bazel-compilation-database

Tool to generate compile_commands.json from the Bazel build system

bazel_0.4.5_osx_bug

benchmarks

Benchmarks

cpp-taskflow

Modern C++ Parallel Task Programming Library

cppconcurrencyinaction

2015년 하반기에 진행하는 C++ Concurrency in Action 스터디 관련 자료입니다.

cpplint

Static code checker for C++

drake

A planning, control, and analysis toolbox for nonlinear dynamical systems. More info at

dreal3

New version of the dReal solver. More info at

dreal3-build-test

dreal4

SMT Solver for Nonlinear Theories of Reals

eigen-3.4-memset-repro

fastsyntaxhighlighting

fast-syntax-highlighting

fbstab

An implementation of the FBstab quadratic programming solver.

github-actions

homebrew-core

🍻 Default formulae for the missing package manager for macOS

homebrew-tap

This repository contains a collection of Homebrew (aka, Brew) "formulae" for Bazel

ibex-lib

inja

A Template Engine for Modern C++

jilles.net

Weblog software (running on top of Jekyll)

klee

KLEE Symbolic Execution Engine

klee-float

KLEE with floating point support

kv

libcds

A C++ library of Concurrent Data Structures

mtidd

A C++ library for multi-terminal (reduced ordered) interval decision diagrams

picosat-repro

pytorch-dreal

z3

The Z3 Theorem Prover

zabingemnode

z-a-bin-gem-node

zinit

Flexible and fast Zsh plugin manager with clean fpath, reports, completion management, Turbo, annexes, services, packages.