Pinned Repositories
.doom.d
:unicorn: My Emacs configurations
.dotfiles
:house: My development environment configurations for Linux/macOS
bible-raw-data
:latin_cross: Personal Bible for Everything
book
Personal Engineering Book :book:
cedar
dotfiles
System configurations for Unix-like OS
infer_parallel
The core parallel task runner used by Facebook Infer
ocaml-data-structure
:camel: :star2:
ocaml-ps
:camel: Problem solving with OCaml
sangwoo-joh's Repositories
sangwoo-joh/bible-raw-data
:latin_cross: Personal Bible for Everything
sangwoo-joh/infer_parallel
The core parallel task runner used by Facebook Infer
sangwoo-joh/ocaml-data-structure
:camel: :star2:
sangwoo-joh/base
Standard library for OCaml
sangwoo-joh/Bear
Bear is a tool that generates a compilation database for clang tooling.
sangwoo-joh/book-1
Owl Tutorial Book V1
sangwoo-joh/dictations
:pencil: English Dictation
sangwoo-joh/emacs-doom-themes
An opinionated pack of modern color-themes
sangwoo-joh/emacs-lisp
:art:
sangwoo-joh/github-orgmode-tests
This is a test project where you can explore how github interprets Org-mode files
sangwoo-joh/google-engineering-practices-kr
구글 엔지니어링 사례 (Engineering Practices) 문서 한글화
sangwoo-joh/hack_parallel
The core parallel and shared memory library used by Hack, Flow, and Pyre
sangwoo-joh/infer
A static analyzer for Java, C, C++, and Objective-C
sangwoo-joh/infer-docker
sangwoo-joh/jekflix-template
A Jekyll theme inspired by Netflix. 🎬
sangwoo-joh/leetcode
:dart: Records
sangwoo-joh/linuxupskillchallenge
Learn the skills required to sysadmin a remote Linux server from the commandline.
sangwoo-joh/mirage-profile
Collect profiling information
sangwoo-joh/ocaml-containers
A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.
sangwoo-joh/ocaml-git
Pure OCaml Git format and protocol
sangwoo-joh/ocaml-github
GitHub APIv3 OCaml bindings
sangwoo-joh/ocamlgraph
OCaml graph library
sangwoo-joh/opam-user-setup
Simplify the configuration of editors for using OCaml tools
sangwoo-joh/purecss-circular-progress-bar
Demos and experiments on web development ( CSS JS HTML ) - A pure css circular progress bar
sangwoo-joh/PyGithub
Typed interactions with the GitHub API v3
sangwoo-joh/real-world-ocaml-book
V2 of Real World OCaml
sangwoo-joh/redis
Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strings, Lists, Sets, Sorted Sets, Hashes, Streams, HyperLogLogs, Bitmaps.
sangwoo-joh/slang
Slang - minimal language for studying type inference algorithm.
sangwoo-joh/splay_tree
A splay tree implementation.
sangwoo-joh/tapl
:hammer: Personal Implementations of "Types and Programming Languages" Book