Name: Xing Shi Cai
Type: User
Company: Duke Kunshan University
Bio: Mathematician and computer scientist. Mostly work in probability theory.
Location: Kunshan, Jiangsu, China
baksneppensimulation.jl
A bit of code for simulating a version of Bak Sneppen model
bee.jl
A Julia interface to BEE (Ben-Gurion University Equi-propagation Encoder)
beeencoder.jl
A Julia interface to BEE (Ben-Gurion University Equi-propagation Encoder) for SAT problem
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.
math-note
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
newptcai
Config files for my GitHub profile.
newptcai.github.io
packagecompiler.jl
Compile your Julia Package
pandoc-templates
Templates for pandoc, tagged to release
planegeometry.jl
A Julia package for plane geometry.
randomtree.jl
A Julia package for simulations on random trees.
regolith-desktop-website
Website of regolith-desktop.com
statswithjuliabook
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.
zeno
Zeno is a collection of helper functions for doing symbolic calculations in Mathematica.
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
š Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
Django
The Web framework for perfectionists with deadlines.
Laravel
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ššš
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
Microsoft
Open source projects and samples from Microsoft.
Google
Google ā¤ļø Open Source for everyone.
Alibaba
Alibaba Open Source for everyone
D3
Data-Driven Documents codes.
Tencent
China tencent open source team.
