Pinned Repositories
5g-trace-visualizer
This set of Python scripts allow you to convert pcap, pcapnp or pdml 5G protocol traces (Wireshark, tcpdump, ...) into SVG sequence diagrams.
awesome-jupyter
A curated list of awesome Jupyter projects, libraries and resources
awesome-jupyter-1
A curated list of awesome Jupyter and IPython links
circuit-lab
Circuit Lab! Fun with LEDs and BeagleBones...
Code-LMs
Guide to using pre-trained large language models of source code
code_search
Code For Medium Article: "How To Create Natural Language Semantic Search for Arbitrary Objects With Deep Learning"
CodeSearchNet
Datasets, tools, and benchmarks for representation learning of code.
cs224u
Code for Stanford CS224u
document-understanding-solution
Example of integrating & using Amazon Textract, Amazon Comprehend, Amazon Comprehend Medical to automate the processing of documents for use cases such as search and discovery, control and compliance, and general business process workflow.
esbmc
The efficient SMT-based bounded model checker
gxf1986's Repositories
gxf1986/5g-trace-visualizer
This set of Python scripts allow you to convert pcap, pcapnp or pdml 5G protocol traces (Wireshark, tcpdump, ...) into SVG sequence diagrams.
gxf1986/awesome-jupyter
A curated list of awesome Jupyter projects, libraries and resources
gxf1986/awesome-jupyter-1
A curated list of awesome Jupyter and IPython links
gxf1986/circuit-lab
Circuit Lab! Fun with LEDs and BeagleBones...
gxf1986/Code-LMs
Guide to using pre-trained large language models of source code
gxf1986/code_search
Code For Medium Article: "How To Create Natural Language Semantic Search for Arbitrary Objects With Deep Learning"
gxf1986/CodeSearchNet
Datasets, tools, and benchmarks for representation learning of code.
gxf1986/cs224u
Code for Stanford CS224u
gxf1986/document-understanding-solution
Example of integrating & using Amazon Textract, Amazon Comprehend, Amazon Comprehend Medical to automate the processing of documents for use cases such as search and discovery, control and compliance, and general business process workflow.
gxf1986/esbmc
The efficient SMT-based bounded model checker
gxf1986/hub
☸️ Hub for executable documents
gxf1986/Ithemal
Instruction THroughput Estimator using MAchine Learning (ITHEMAL)
gxf1986/learn-kvm
Qemu KVM(Kernel Virtual Machine)学习笔记
gxf1986/LLMDataHub
A quick guide (especially) for trending instruction finetuning datasets
gxf1986/llvmvf
LLVM Verification Framework
gxf1986/mpad
Message Passing Attention Networks for Document Understanding
gxf1986/penrose
Create beautiful diagrams just by typing mathematical notation in plain text.
gxf1986/perffuzz
PerfFuzz: Automatically Generate Pathological Inputs for C/C++ programs
gxf1986/Poly-Encoder
gxf1986/SandDance
Visually explore, understand, and present your data.
gxf1986/Screenshot-to-code
A neural network that transforms a design mock-up into a static website.
gxf1986/smack
SMACK Software Verifier and Verification Toolchain
gxf1986/smack_docker
gxf1986/supercharger
Supercharge Open-Source AI Models
gxf1986/symdiff
SymDiff-Differential-Program-Verifier
gxf1986/White-Jotter
白卷是一款使用 Vue+Spring Boot 开发的前后端分离项目,附带全套开发教程。(A simple CMS developed by Spring Boot and Vue.js with development tutorials)