Grassgod
Follow
-
-
Algorithm-Practice-in-Industry Public
Forked from Doragd/Algorithm-Practice-in-Industry搜索、推荐、广告、用增等工业界实践文章收集（来源：知乎、Datafuntalk、技术公众号）
-
-
langchain-ChatGLM Public
Forked from chatchat-space/Langchain-Chatchatlangchain-ChatGLM, local knowledge based ChatGLM with langchain ｜ 基于本地知识的 ChatGLM 问答
-
-
gojsonschema Public
Forked from xeipuuv/gojsonschemaAn implementation of JSON Schema, draft v4 v6 & v7 - Go language
Go UpdatedMay 12, 2022 -
pdfminer.six Public
Forked from pdfminer/pdfminer.sixCommunity maintained fork of pdfminer - we fathom PDF
Python MIT License UpdatedApr 15, 2022 -
ESBMC-ML Public
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 use…
UpdatedOct 14, 2021 -
learning-note Public
Forked from rbmonster/learning-notejava开发 面试八股文 （个人的面试及工作总结）
Java UpdatedAug 16, 2021 -
-
-
pycparser Public
Forked from eliben/pycparser🐍 Complete C99 parser in pure Python
-
ant-design-vue Public
Forked from vueComponent/ant-design-vue🌈 An enterprise-class UI components based on Ant Design and Vue. 🐜
Vue Other UpdatedMay 23, 2021 -
NBMiner Public
Forked from NebuTech/NBMinerNVIDIA & AMD GPU Miner for ETH, RVN, GRIN, BEAM, CFX, AE, SERO, ERGO
UpdatedApr 24, 2021 -
esbmc Public
Forked from esbmc/esbmcThe efficient SMT-based bounded model checker
C Other UpdatedMar 16, 2021 -
sv-benchmarks Public
Forked from sosy-lab/sv-benchmarksCollection of Verification Tasks
UpdatedFeb 22, 2021 -
course-v3 Public
Forked from fastai/course-v3The 3rd edition of course.fast.ai
Jupyter Notebook Apache License 2.0 UpdatedOct 24, 2019 -
guitar-tuner Public
Forked from googlearchive/guitar-tunerA web-based guitar tuner
JavaScript Apache License 2.0 UpdatedAug 6, 2017