-
14:33
(UTC +08:00)
Highlights
- Pro
Stars
Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured development containers based on devfiles
HUST华中科技大学CS23课程记录:C语言程序设计、计算思维、微积分、线性代数、数据结构、离散数学、军事理论、CPP/C++、习思想、人工智能导论、大学物理、数字电路、数电、电路理论、离散数学、算法设计与分析、马原
A basic resume for typst, designed to work well with ATS systems.
Deep Learning for Symbolic Mathematics
A Python library to extract tabular data from PDFs
A Python package for easy multiprocessing, but faster than multiprocessing
🎉 Elegant and powerful theme for Hexo.
Plumb a PDF for detailed information about each char, rectangle, line, et cetera — and easily extract text and tables.
A playbook for systematically maximizing the performance of deep learning models.
This handbook helps demystify the PhD admission process in Computer Science in US universities.
Collection of advice for prospective and current PhD students
AutoHotkey - macro-creation and automation-oriented scripting utility for Windows.
Composing and deciphering C (or C++) declarations or casts, aka ‘‘gibberish.’’
Project SEKAI Calculator for deck power, live score, event point and more.
The home of the CUE language! Validate and define text-based and dynamic configuration
Project Sekai (Japanese) Master DB Difference
A Python module for controlling interactive programs in a pseudo-terminal