Name: Xing Shi Cai
Type: User
Company: Duke Kunshan University
Bio: Mathematician and computer scientist. Mostly work in probability theory.
Location: Kunshan, Jiangsu, China
Blog: http://newptcai.gitlab.io/
Xing Shi Cai's Projects
A bit of code for simulating a version of Bak Sneppen model
A Julia interface to BEE (Ben-Gurion University Equi-propagation Encoder)
A Julia interface to BEE (Ben-Gurion University Equi-propagation Encoder) for SAT problem
DCM.wl: A Mathematica package for simulation of random walks in Directed Configuration Model
(yet another) static site generator. Simple, customisable, fast, maths with KaTeX, code evaluation, optional pre-rendering, in Julia.
Generalized golden sequences, a form of low discrepancy sequence or quasi random numbers
Julia interface for Gradescope autograding
Special functions for IntervalArithmetic.jl
A collection of themes for kitty terminal š»
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 documentation. Beautiful math in all browsers. Beautifully documented.
minimalX is a beautiful and user-centered Pelican theme
A mutt configuration file ready for Office 365
Config files for my GitHub profile.
Compile your Julia Package
Templates for pandoc, tagged to release
A Julia package for plane geometry.
A Julia package for simulations on random trees.
Website of regolith-desktop.com
Package to help connect Julia with the SymPy library of Python
Repo for hosting tampermonkey scripts
Proper project management with Taskwarrior in vim.
Theorem Proving in Lean 4
A vim plugin to give you some slime. (Emacs)
Scientific reports/literate programming for Julia
The public Regolith website.
Zeno is a collection of helper functions for doing symbolic calculations in Mathematica.