grassgod Goto Github PK
Name: Jack Ho
Type: User
Bio: Good products can change the world
Name: Jack Ho
Type: User
Bio: Good products can change the world
🌈 An enterprise-class UI components based on Ant Design and Vue. 🐜
The 3rd edition of course.fast.ai
The efficient SMT-based bounded model checker
We describe and evaluate the application of machine learning technology to help ESBMC achieve better results in SV-COMP. ESBMC is an SMT-based verification tool for C programs, which allows the user to choose different SMT solvers, encoding methods, and verification approaches by selecting different parameters. However, different parameter combinations have different effects when verifying C programs. Therefore, we convert the C source code into AST and extract feature vectors from AST as samples. Similarly, we encode the verification result of ESBMC into the sample label. We use four machine learning models, and the data sets come from three sub-categories of SV-COMP. After a comprehensive evaluation, we have found that the decision tree model is more suitable because its training time is short, and various evaluation benchmarks are better than other models. Therefore, in this competition, we use the trained model as the default parameter recommender of ESBMC and modify the model parameters based on the feedback of the verification results to obtain better effects.
An implementation of JSON Schema, draft v4 v6 & v7 - Go language
A web-based guitar tuner
langchain-ChatGLM, local knowledge based ChatGLM with langchain | 基于本地知识的 ChatGLM 问答
java开发 面试八股文 (个人的面试及工作总结)
NVIDIA & AMD GPU Miner for ETH, RVN, GRIN, BEAM, CFX, AE, SERO, ERGO
Community maintained fork of pdfminer - we fathom PDF
:snake: Complete C99 parser in pure Python
Collection of Verification Tasks
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.