-
-
miri Public
Forked from rust-lang/miriAn interpreter for Rust's mid-level intermediate representation
Rust Apache License 2.0 UpdatedDec 3, 2024 -
asterinas Public
Forked from asterinas/asterinasAsterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.
Rust Other UpdatedNov 11, 2024 -
-
rust Public
Forked from rust-lang/rustEmpowering everyone to build reliable and efficient software.
Rust Other UpdatedSep 5, 2024 -
-
org-notify Public
Forked from p-m/org-notifyNotifications for Org-mode
Emacs Lisp UpdatedSep 30, 2023 -
-
klint Public
Forked from dslab-epfl/klintRepository for the "Automated Verification of Network Function Binaries" paper (NSDI'22).
C MIT License UpdatedJun 12, 2022 -
Mignis Public
Forked from secgroup/MignisMignis is a semantic based tool for firewall configuration.
Python MIT License UpdatedMay 19, 2022 -
-
-
-
-
vim-slime Public
Forked from jpalardy/vim-slimeA vim plugin to give you some slime. (Emacs)
Vim Script MIT License UpdatedMay 2, 2019 -
-
-
hexo-theme-next Public
Forked from theme-next/hexo-theme-nextElegant and powerful theme for Hexo.
CSS Other UpdatedSep 3, 2018 -
hust-asm-labs Public
Forked from klx3300/hust-asm-labsLabs of HUST 80(3?)86 Assembly Course
Assembly MIT License UpdatedApr 18, 2018 -
-
2017aut-quest2 Public
Forked from klx3300/2017aut-quest2The second quest of unqiuestudio 2017.
C++ UpdatedNov 12, 2017 -
netease-cloud-music-docker-version Public
Forked from qzwlecr/netease-cloud-music-docker-versionUse docker to run netease cloud music. Avoid bugs.
Shell MIT License UpdatedNov 2, 2017 -
HUST_C_Project Public
This is a C assignment for the HUST C Course.
QML GNU General Public License v2.0 UpdatedSep 15, 2017 -
-
indexing Public
A programme for indexing text files (MIME type: text/*) in Linux
C UpdatedApr 21, 2017 -
{{ message }}