yutopp's starred repositories
DefinitelyTyped
The repository for high quality TypeScript type definitions.
TypeScript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
stack_unwinding
The stack_unwinding is a small header only C++ library which supplies primitive(class unwinding_indicator) to determining when object destructor is called due to stack-unwinding or due to normal scope leaving.
TaPL-on-Haskell
TaPLのHaskell実装
bootstrap-sass
Official Sass port of Bootstrap 2 and 3.
featherweight-java
An experimental implementation of (extended) featherweight-java (FJ) written in OCaml.
proxylocal-gem
Proxy your local web-server and make it publicly available over the internet
go-shellwords
Parse line as shell words
learning-type-system
Learning Type System
binal-runtime
Runtime for Binal programs
process_management_and_process_schedule
Software Design誌の記事「Linuxのしくみを学ぶ - プロセス管理とスケジューリング」の原稿公開用リポジトリ
angularjs-scroll-glue
An AngularJs directive that automatically scrolls to the bottom of an element on changes in it's scope.
Type-safe-printf
Type safe printf - you can get compile time error on missing type.