CrazybinaryLi
“If I knew what I was doing, it wouldn't be called research.” - Albert Einstein.
Institute of Software Chinese Academy of SciencesBeijing,China.
Pinned Repositories
Awesome-Hacking
A collection of various awesome lists for hackers, pentesters and security researchers
awesome-open-gpt
Collection of Open Source Projects Related to GPT,GPT相关开源项目合集🚀、精选🔥🔥
awesome-opensource-hardware
List of awesome open source hardware tools, generators, and reusable designs
biriscv
32-bit Superscalar RISC-V CPU
bloop
bloop is a fast code search engine written in Rust.
BOOMv3-delay-on-miss-dcache
The repository contains the source files for the BOOM v3, patched against transient execution attacks using UPEC iterative patch cycles.
btor2tools
A generic parser and tool package for the BTOR2 format.
btor2verilog
Hacked together program to convert btor2 files to Verilog.
GPT_API_free
Free ChatGPT API Key,免费ChatGPT API,支持GPT4 API(低价),ChatGPT国内可用免费转发API,直连无需代理。可以搭配ChatBox等软件/插件使用,极大降低接口使用成本。国内即可无限制畅快聊天。
NuSMV
Some NuSMV document and example programs.
CrazybinaryLi's Repositories
CrazybinaryLi/GPT_API_free
Free ChatGPT API Key,免费ChatGPT API,支持GPT4 API(低价),ChatGPT国内可用免费转发API,直连无需代理。可以搭配ChatBox等软件/插件使用,极大降低接口使用成本。国内即可无限制畅快聊天。
CrazybinaryLi/awesome-open-gpt
Collection of Open Source Projects Related to GPT,GPT相关开源项目合集🚀、精选🔥🔥
CrazybinaryLi/awesome-opensource-hardware
List of awesome open source hardware tools, generators, and reusable designs
CrazybinaryLi/bloop
bloop is a fast code search engine written in Rust.
CrazybinaryLi/carrot
Free ChatGPT Site List 这儿为你准备了众多免费好用的ChatGPT镜像站点,当前100+站点
CrazybinaryLi/ccf-deadlines
⏰ Collaboratively track deadlines of conferences recommended by CCF (Website, Python Cli, Wechat Applet) / If you find it useful, please star this project, thanks~
CrazybinaryLi/csapp-lab
This repository contains csapp lab.
CrazybinaryLi/chatgpt-web
使用 express 和 vue3 搭建的 ChartGPT 演示网页
CrazybinaryLi/chatgpt_academic
科研工作专用ChatGPT拓展,特别优化学术Paper润色体验,支持自定义快捷按钮,支持markdown表格显示,Tex公式双显示,代码显示功能完善,新增本地Python工程剖析功能/自我剖析功能
CrazybinaryLi/CS292C
CrazybinaryLi/frap
Formal Reasoning About Programs
CrazybinaryLi/free
翻墙、免费翻墙、免费科学上网、免费节点、免费梯子、免费ss/v2ray/trojan节点、蓝灯、谷歌商店、翻墙梯子
CrazybinaryLi/gitignore
A collection of useful .gitignore templates
CrazybinaryLi/gpt4free
decentralising the Ai Industry, just some language model api's...
CrazybinaryLi/HW-Formal-Paper
Recent papers related to hardware formal verification.
CrazybinaryLi/litex
Build your hardware, easily!
CrazybinaryLi/Mantra
CrazybinaryLi/mor1kx
mor1kx - an OpenRISC 1000 processor IP core
CrazybinaryLi/NeuroGPT
Free ChatGPT 3.5 / ChatGPT 4 / Free OpenAI API
CrazybinaryLi/open-interpreter
OpenAI's Code Interpreter in your terminal, running locally
CrazybinaryLi/ProcessorFuzz
CrazybinaryLi/README
README文件语法解读,即Github Flavored Markdown语法介绍
CrazybinaryLi/riscv-python-model
Python Model of the RISC-V ISA
CrazybinaryLi/RTL-Coder
A new LLM solution for RTL code generation, achieving state-of-the-art performance in non-commercial solutions and outperforming GPT-3.5.
CrazybinaryLi/rtl2model
a compositional framework for hardware lifting
CrazybinaryLi/sym_exe_processor_verification
Processor Verification using Symbolic Execution: A RISC-V Case-Study
CrazybinaryLi/synlig
SystemVerilog support for Yosys
CrazybinaryLi/upec-boom-verification-suite
This repository contains the verification suite for verifying Berkeley Out-of-Order Machine (BOOM) against transient execution attacks based on the Unique Program Execution Checking (UPEC) approach.
CrazybinaryLi/VossII
The source code to the Voss II Hardware Verification Suite
CrazybinaryLi/z3-study
z3 solver 学习