Rex Yuan's repositories
Blemishine
config files
courseNTNU
(Discontinued) NTNU course rating catalog.
Language:CNOASSERTION000
boolector
A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
Language:SMTNOASSERTION000
minisat22-fixed
rex's copy of minisat
Language:C++NOASSERTION000
Language:TeX000
The-Flatlander-Experience
(Completed) The Flatlander Experience - final project for computer graphics course
Language:JavaScriptUnlicense000
Language:OCamlMIT000
homebrew-core
🍻 Default formulae for the missing package manager for macOS (or Linux)
hugo-book
Hugo documentation theme as simple as plain book
Language:HTMLMIT000
learnxinyminutes-docs
Code documentation written as code! How novel and totally my idea!
Language:JavaScriptNOASSERTION000
Lemmy-Easy-Deploy
Deploy Lemmy the easy way!
Language:ShellMIT000
pysat
A toolkit for SAT-based prototyping in Python
Language:PythonMIT000
Language:TeX000
sphinx
The Sphinx documentation generator
Language:PythonNOASSERTION000
tutoriel_wp
Frama-C and WP tutorial
Language:TeXNOASSERTION000