stevenjiang1110 Goto Github PK
Name: Jianfeng Jiang
Type: User
Company: Ant Group
Name: Jianfeng Jiang
Type: User
Company: Ant Group
Some helper scripts to set up an environment for angr development.
ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.
Asterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.
Asynchronous Programming in Rust
daily_fudan的运行器,自动定时执行https://github.com/Limour-dev/daily_fudan_core 的代码。请按daily_fudan_core的readme正确配置FUDAN,按本仓库的readme正确配置GH_PAT。两个secrets都在本仓库配置,注意不要配置到core仓库。
:book:学习资源整合
algorithm
the source code of linux-0.11 for study linux kernel
Next-Gen Occlum, a work-in-progress fork of Occlum that is optimized for the next-generation of Intel SGX (on Xeon SP processors)
Occlum is a memory-safe, multi-process library OS for Intel SGX
Empowering everyone to build reliable and efficient software.
RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.
基于 SpringBoot2 整合的案例教程
Handle TrapFrame across kernel and user space on multiple ISAs.
🏆 Collection of bugs uncovered by fuzzing Rust code
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.