Phosphorus15

intellij-prolog

Prolog plugin for Intellij IDEA

dataearth_backend

stlc_rs

simply typed lambda calculus written in rust

arm-isa

phosphorus15.github.io

ruda

Type-safe language dedicated to high-performance parallel computing (currently for CUDA only)

leblog

Auto_Attendance

中南大学nCov健康打卡定时自动脚本 [请勿滥用]

bannerlord-banner-kings

bap

Binary Analysis Platform

Capstone

capstone auto-sync

capstone-1

Capstone disassembly/disassembler framework: Core (Arm, Arm64, BPF, EVM, M68K, M680X, MOS65xx, Mips, PPC, RISCV, Sparc, SystemZ, TMS320C64x, Web Assembly, X86, X86_64, XCore) + bindings.

cargo-clone

A cargo subcommand to fetch the source code of a Rust crate

gccrs

GCC Front-End for Rust

GitHubGraduation-2021

Join the GitHub Graduation Yearbook and "walk the stage" on June 5.

leblog-front

front-end refactor for leblog

LemonVM

A Register Based VM.

libunftp

Extensible, async, cloud orientated FTP(S) server library and the core of unFTP: https://github.com/bolcom/unFTP. Follow up and talk to us on https://t.me/unftp

linea.rs

Linear algebra

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.

ocaml

The core OCaml system: compilers, runtime system, base libraries

resume

An elegant \LaTeX\ résumé template. 大陆镜像 https://gods.coding.net/p/resume/git

rust

Empowering everyone to build reliable and efficient software.

rust-clippy

A bunch of lints to catch common mistakes and improve your Rust code

Scalasm

Scalasm is a Mid-Level RTL designed for semantics and disassembler generation

scraper

HTML parsing and querying with CSS selectors

skyzh

tcpp-rs

tcpp macros preprocessor wrappings for rust

tikv

Distributed transactional key-value database, originally created to complement TiDB

unsafe-collection

A total set of unsafe usage in real crates