zheli-1 Goto Github PK
Name: Zhe Li
Type: User
Name: Zhe Li
Type: User
A copy of afl source for easy access
A test suite minimisation tool
front-end project
battlecode23-scaffold for CS 454/554 Winter 2024 robot making
fork from battlecode23 for CS454/554 Winter 2024
:zap: Benchmark framework for NodeJS
Lua interpreter modded to support symbolic execution
scripts for setting up server for compiling robots for battlecode2023
CRETE under development
Example of using Jest, Puppeteer, Express, and Webpack to test JavaScript in a browser environment.
🐰 Tool set for fuzz and stress testing your functions!
battlecode submitting portal
Delightful JavaScript Testing.
KLEE Symbolic Execution Engine
infrastructure for analyze npm libraries stats
Just causal codes
A msgpack v5 implementation for node.js, with extension points / msgpack.org[Node]
Nmap - the Network Mapper. Github mirror of official SVN repository.
use crete to test nmap
Node.js JavaScript runtime :sparkles::turtle::rocket::sparkles:
Node.js C++ addon examples from http://nodejs.org/docs/latest/api/addons.html
Upload files using Node.js and AWS S3.
It is a repository for conducting symbolic execution on nodejs automatically
add on method for node symbolic
Official QEMU mirror. Please see http://wiki.qemu.org/Contribute/SubmitAPatch for how to submit changes to QEMU. Pull Requests are ignored. Please only use release tarballs from the QEMU website.
React component to format numbers in an input or as a text.
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.