TheVeryDarkness
Follow
-
RPL Public
Forked from RPL-Toolchain/RPLA pattern language for Rust.
Rust Mozilla Public License 2.0 UpdatedApr 22, 2026 -
pest3 Public
Forked from pest-parser/pest3WIP pest 3.0
Rust Apache License 2.0 UpdatedApr 19, 2026 -
-
-
mdbook-pdf Public
Forked from HollowMan6/mdbook-pdfA backend for mdBook written in Rust for generating PDF based on headless chrome and Chrome DevTools Protocol. (用 Rust 编写的 mdBook 后端，基于headless chrome和Chrome开发工具协议生成PDF)
Rust GNU General Public License v3.0 UpdatedJan 16, 2026 -
-
mdbook-numbering Public
A mdBook preprocessor that adds numbers to different items
Rust UpdatedDec 8, 2025 -
-
-
-
svg-tree-vue3 Public
A Vue3 library for rendering a tree in a embedded SVG
-
-
Agda is a dependently typed programming language / interactive theorem prover.
Haskell Other UpdatedSep 30, 2025 -
git2version Public
Forked from smessmer/git2versionThis crate provides a way to get the version of the package from git and incorporate it as a constant into your program.
Rust Apache License 2.0 UpdatedSep 30, 2025 -
Rudra Public
Forked from sslab-gatech/RudraRust Memory Safety & Undefined Behavior Detection
-
-
derive_recursive Public
Forked from SmakoszJan/derive_recursiveA utility derive macro for recursive trait implementations.
Rust MIT License UpdatedMar 29, 2025 -
-
-
-
-
-
electron-vue-template Public template
Forked from Deluze/electron-vue-templateSimple Vue3 + Electron starter template in TypeScript, including ViteJS and Electron Builder
-
asterinas Public
Forked from asterinas/asterinasAsterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.
-
-
-
-
RAP Public
Forked from safer-rust/RAPxRust Analysis Platform
Rust Apache License 2.0 UpdatedApr 29, 2024 -
-
vcpkg-rs Public
Forked from mcgoo/vcpkg-rsBuild library for finding native libraries in vcpkg for Rust - Windows (msvc), Linux and macOS
Rust Apache License 2.0 UpdatedApr 26, 2024