Lists (31)
agda
1 repository
autodiff
4 repositories
c/c++
3 repositories
compiler
67 repositories
cpp
1 repository
cuda
4 repositories
diffusion
1 repository
dynamic
13 repositories
elisp
1 repository
emacs
1 repository
forth
7 repositories
fortran
7 repositories
functional_python
4 repositories
futhark
4 repositories
generative_model
2 repositories
haskell_utils
38 repositories
juliaTensors
3 repositories
lang
52 repositories
llm
3 repositories
MCMC
35 repositories
MD
molecular dynamic7 repositories
numeric
8 repositories
ocaml
2 repositories
optimizer
6 repositories
protein&matter
61 repositories
qc_formal_verification
1 repository
quantum computing
74 repositories
rl
3 repositories
statistics
6 repositories
symbolic
8 repositories
theorem_prove
3 repositories
Starred repositories
🦖 Implementations of various type inference algorithms. Online interactive playground is available at https://zoo.cuichen.cc/
Effect monads with specifications (DIjkstra Monads) in Lean 4
The official implementation for ICLR25 paper "Beyond Circuit Connections: A Non-Message Passing Graph Transformer Approach Towards Quantum Error Mitigation"
An extremely fast Python package and project manager, written in Rust.
SIMD intrinsics supported by the OxCaml compiler.
A reimplementation of Stable Diffusion 3.5 in pure PyTorch
Julia package for tensor contractions and related operations
Hardcaml_zprize implements high performance, open source cryptographic solutions for large scale number theoretic transforms (NTT) and multi-scalar multiplications (MSM) in Hardcaml. Originally dev…
Code for the paper "Magic state cultivation: growing T states as cheap as CNOT gates"
CeTZ: ein Typst Zeichenpaket - A library for drawing stuff with Typst.
Intel 8080-based Space Invaders arcade machine implemented on an FPGA, written in CLaSH
Source code for parer "Low-overhead defect-adaptive surface code with bandage-like super-stabilizers"
GPT2 implementation in Haskell with the Hasktorch library, inspired by Andrej Karpathy's Pytorch implementation.
Formal specification of the Haskell Language Report
Easy-to-use, high-performance, multi-platform inference deployment framework
Transversal Clifford logical circuit generator for color code
Code for the paper Normalizing Flows are Capable Models for RL
HelixDB is a powerful, open-source, graph-vector database built in Rust for intelligent data storage for RAG and AI.
🪐 Markdown with superpowers — from ideas to presentations, articles and books.
Just-in-Time Compilation for Ordinary Differential Equations