Pinned Repositories
18.466
18.466 Mathematical Statistics
6.00-ta-tool
6.S899
scribing 6.S899 Seminar on Computation and Physics
timxzl's Repositories
timxzl/Apollo-11
Original Apollo 11 Guidance Computer (AGC) source code for the command and lunar modules.
timxzl/ber-metaocaml
Unofficial git mirror of the BER MetaOCaml patchset.
timxzl/cpdf-source
PDF Command Line Tools Source
timxzl/cpp_starter_project
a starter C++ project using CMAKE and Catch2, etc. from cpp-best-practices/cpp_starter_project
timxzl/CrypTen
A framework for Privacy Preserving Machine Learning
timxzl/fenxiang
timxzl/homebrew-personal
Personal homebrew tap
timxzl/incubator-brpc
Industrial-grade RPC framework used throughout Baidu, with 1,000,000+ instances and thousands kinds of services. "brpc" means "better RPC".
timxzl/java8-benchmarks
timxzl/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
timxzl/minisat
A minimalistic and high-performance SAT solver
timxzl/ocl-dataset
A Data Set of OCL Expressions on GitHub
timxzl/ProgPOW
A Programmatic Proof-of-Work for Ethash. Forked from https://github.com/ethereum-mining/ethminer
timxzl/pynusmv
Python binding for NuSMV.
timxzl/qemu-5.1.0
modify qemu-5.1.0 for better debugging
timxzl/React-2048-game
:video_game: A fancy 2048 game build with react, redux best practices.
timxzl/remlin
Remove the vertical line from the scanned image
timxzl/riscv-binutils-gdb
RISC-V backports for binutils-gdb. Development is done upstream at the FSF.
timxzl/riscv-gcc
timxzl/riscv-gnu-toolchain
GNU toolchain for RISC-V, including GCC
timxzl/s2geometry
Computational geometry and spatial indexing on the sphere
timxzl/share
timxzl/slurm-docker-cluster
A Slurm cluster using docker-compose
timxzl/Soundflower
MacOS system extension that allows applications to pass audio to other applications.
timxzl/staged-streams.ocaml
timxzl/staged-streams.scala
timxzl/strymonas
Fast streams for Scala 3
timxzl/textX-LS
Language server for domain specific languages based on textX
timxzl/trustfall
A new, datasource-agnostic way to connect and query datasets
timxzl/wastedcores