Justin Cai's repositories
llvm
Intel staging area for llvm.org contribution. Home for Intel LLVM-based projects.
NOASSERTION000
SYCL-CTS
SYCL Conformance Tests
Language:C++Apache-2.0000
SPIRV-LLVM-Translator
A tool and a library for bi-directional translation between SPIR-V and LLVM IR
NOASSERTION000
NOASSERTION000
SYCL-Docs
SYCL Open Source Specification
Language:JavaScriptNOASSERTION000
NOASSERTION000
NOASSERTION000
oneAPI-spec
oneAPI Specification source files
NOASSERTION000
Language:C++000
microbiomes
simple procedural terrain generation scenes with webgl
Language:TypeScriptMIT000
Language:TypeScript000
jzc.github.io
My personal website
Language:Python000
double-pendulum
something "random"
symbolic-dynamics
A symbolic dynamics package for Python
OpenLogic
An open-source, customizable intermediate logic textbook
Language:TeXCC-BY-4.0000
Language:Coq000
mcb
Mathematical Components (the Book)
Language:TeXNOASSERTION000
networkx
Network Analysis in Python
NOASSERTION000
pelican
Static site generator that supports Markdown and reST syntax. Powered by Python.
AGPL-3.0000
Language:JavaScript000
tikz
tikz diagrams
Language:TeX000
Language:Haskell000
Language:TeX000
Language:Dart000
springer_series_scraper
Download all the books in Springer book series
Language:Python000
Language:Jupyter Notebook000
webpy
python to JS compiler
Language:Python000
rscheme
scheme implementation in rust
Language:Rust000
technicallyimpressive
CSCI 3308 group project
Language:PythonGPL-3.0000