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/clang-format-configurator
Interactively view changes in clang-format configuration
sangwoo-joh/cncc
Customizable Naming Convention Checker - uses Clang, developed with C++ in mind
sangwoo-joh/cynara
simple privilege access control service
sangwoo-joh/git-playground
Webhook test
sangwoo-joh/gitignore
A collection of useful .gitignore templates
sangwoo-joh/ke
Fast implementation of queue in OCaml
sangwoo-joh/neofetch
🖼️ A command-line system information tool written in bash 3.2+
sangwoo-joh/ocaml
The core OCaml system: compilers, runtime system, base libraries
sangwoo-joh/ocaml-pythonlib
OCaml library for parsing and pretty printing Python code
sangwoo-joh/ocaml-rbtrees
Red-Black Trees for OCaml.
sangwoo-joh/ocaml-tar
Pure OCaml library to read and write tar files
sangwoo-joh/ocamlunix
Unix system programming in OCaml book
sangwoo-joh/research
sangwoo-joh/styleguide
Style guides for Google-originated open-source projects
sangwoo-joh/the-art-of-command-line
Master the command line, in one page
sangwoo-joh/utility-docs
sangwoo-joh/z3
The Z3 Theorem Prover