Lists (17)
Starred repositories
Latex documentation of our understanding of the synthetic /internal theory of the Zariski-Topos
A statically typed programming language for scientific computations with first class support for physical dimensions and units
⚡ preexec and precmd functions for Bash just like Zsh.
SPHinXsys provides C++ APIs for engineering simulation and optimization. It aims at complex systems driven by fluid, structure, multi-body dynamics and beyond. The multi-physics library is based on…
a zero-knowledge proof-carrying code platform for Lean 4
Learning in infinite dimension with neural operators.
A performant and configurable parallel computing library for computations defined as compositions of iterator methods.
A C program that prints a program and a Bad Apple frame; that program then prints a program and another Bad Apple frame; and so on... Bad Apple in a mildly novel medium.
Domain-specific language designed to streamline the development of high-performance GPU/CPU/Accelerators kernels
A precise specification for "Rust lite / MIR plus"
Formalization of the Rupert Problem for convex polyhedra.
An intuitive and low-overhead instrumentation tool for Python
An MLIR-based compiler framework bridges DSLs (domain-specific languages) to DSAs (domain-specific architectures).
Solid state detector field and charge drift simulation in Julia
DeepGEMM: clean and efficient FP8 GEMM kernels with fine-grained scaling
Fast, easy, pretty and readable program instrumentation for Python
Fermat's Last Theorem for regular primes
Lean 4 port of Iris, a higher-order concurrent separation logic framework