A Simple CDCL Solver

📚 各类图书

自动刷智慧树课程的脚本

Includes notes on using Apache Spark in general, notes on using Spark for Physics, how to run TPCDS on PySpark, how to create histograms with Spark, tools for performance testing CPUs, Jupyter note…

Static builds of mosh-server

Course material for Cornell CS 6210 for Fall 2019

A repo for collecting compiler books

PLCT实验室实习生社区。

Intel AVX-512简介

book list

本项目将《动手学深度学习》(Dive into Deep Learning)原书中的MXNet实现改为PyTorch实现。

Easy to use RDMA API in Rust async

Book_4_《矩阵力量》 | 鸢尾花书：从加减乘除到机器学习；上架！