Xing Shi Cai's repositories
BeeEncoder.jl
A Julia interface to BEE (Ben-Gurion University Equi-propagation Encoder) for SAT problem
PlaneGeometry.jl
A Julia package for plane geometry.
RandomTree.jl
A Julia package for simulations on random trees.
BakSneppenSimulation.jl
A bit of code for simulating a version of Bak Sneppen model
DCM.wl
DCM.wl: A Mathematica package for simulation of random walks in Directed Configuration Model
Franklin.jl
(yet another) static site generator. Simple, customisable, fast, maths with KaTeX, code evaluation, optional pre-rendering, in Julia.
GoldenSequences.jl
Generalized golden sequences, a form of low discrepancy sequence or quasi random numbers
Gradescope.jl
Julia interface for Gradescope autograding
IntervalSpecialFunctions.jl
Special functions for IntervalArithmetic.jl
kitty-themes
A collection of themes for kitty terminal 😻
latexindent.pl
Perl script to add indentation (leading horizontal space) to LaTeX files. It can modify line breaks before, during and after code blocks; it can perform text wrapping and paragraph line break removal. It can also perform string-based and regex-based substitutions/replacements. The script is customisable through its YAML interface.
MathJax-docs
MathJax documentation. Beautiful math in all browsers. Beautifully documented.
minimalX
minimalX is a beautiful and user-centered Pelican theme
mutt-office365
A mutt configuration file ready for Office 365
PackageCompiler.jl
Compile your Julia Package
pandoc-templates
Templates for pandoc, tagged to release
regolith-desktop-website
Website of regolith-desktop.com
SymPyCore.jl
Package to help connect Julia with the SymPy library of Python
tampermonkeyscripts
Repo for hosting tampermonkey scripts
taskwiki
Proper project management with Taskwarrior in vim.
theorem_proving_in_lean4
Theorem Proving in Lean 4
vim-slime
A vim plugin to give you some slime. (Emacs)
Weave.jl
Scientific reports/literate programming for Julia
website
The public Regolith website.