Pinned Repositories
AnonymousGitHubDownloader
Downloading from AnonymousGitHub slowly but automatically
antlr4-tools
Tools to run antlr4 w/o needing to install java or antlr4!
api-test
It's for testing github api.
ARC
The Abstraction and Reasoning Corpus
ast
pest-typed
A statically typed version of pest.
Rudra
Rust Memory Safety & Undefined Behavior Detection
umake
C++20 modules and other dependencies scanning tools. Now it can work together with cmake. C++20模块导入及其它依赖扫描工具。现在它可以协助cmake完成部分工作。Read README.md first, please.
TheVeryDarkness's Repositories
TheVeryDarkness/pest-typed
A statically typed version of pest.
TheVeryDarkness/umake
C++20 modules and other dependencies scanning tools. Now it can work together with cmake. C++20模块导入及其它依赖扫描工具。现在它可以协助cmake完成部分工作。Read README.md first, please.
TheVeryDarkness/pinned
Mutable container for pinned and immutable items.
TheVeryDarkness/Rudra
Rust Memory Safety & Undefined Behavior Detection
TheVeryDarkness/antlr4-tools
Tools to run antlr4 w/o needing to install java or antlr4!
TheVeryDarkness/ast
TheVeryDarkness/BasicPrincipleOfCivilEngineeringConstruction
TheVeryDarkness/asterinas
Asterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.
TheVeryDarkness/cos_training_public
arceos training sessions.
TheVeryDarkness/engineering
TheVeryDarkness/fds
Fire Dynamics Simulator
TheVeryDarkness/FiremodelBoundaryReader
Reading .bf files containing boundary quantities information that are generated by fds.
TheVeryDarkness/Focused2
TheVeryDarkness/jison
Bison in JavaScript.
TheVeryDarkness/lerf
Code for LERF: Language Embedded Radiance Fields
TheVeryDarkness/lerf-repro
Reproduce LERF and make some improvements.
TheVeryDarkness/pest
The Elegant Parser
TheVeryDarkness/pest3
WIP pest 3.0
TheVeryDarkness/POJ-Solving-Reports
POJ 解题报告
TheVeryDarkness/RAP
Rust Analysis Platform
TheVeryDarkness/Rebuild-Outdated-Only
Run commands only when targets are outdated. A bit like Ninja
TheVeryDarkness/rusel-vscode-extension
TheVeryDarkness/Shared-learning-materials
TheVeryDarkness/structure
Some formulas described in Python
TheVeryDarkness/telecode-visualizer
TheVeryDarkness/telecode-visualizer-dist
TheVeryDarkness/vcpkg-rs
Build library for finding native libraries in vcpkg for Rust - Windows (msvc), Linux and macOS
TheVeryDarkness/Vision-and-Language-assignment-3
TheVeryDarkness/wasm-emscripten-fs-bug
TheVeryDarkness/z3.rs
Rust bindings for the Z3 solver.