crazybinaryli Goto Github PK

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.

carrot

Free ChatGPT Site List 这儿为你准备了众多免费好用的ChatGPT镜像站点，当前100+站点

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~

chatgpt-web

使用 express 和 vue3 搭建的 ChartGPT 演示网页

chatgpt_academic

科研工作专用ChatGPT拓展，特别优化学术Paper润色体验，支持自定义快捷按钮，支持markdown表格显示，Tex公式双显示，代码显示功能完善，新增本地Python工程剖析功能/自我剖析功能

computer_expert_paper

1000+份计算机paper，卡耐基梅隆大学，哈佛，斯坦福，芝加哥大学，MIT，facebook，google，微软，Amazon，twitter等大牛一作，持续更新中

cpplinks

A categorized list of C++ resources.

cs292c

csapp-lab

This repository contains csapp lab.

dv_s2qed_riscv

Verification of RISC-V Processor Core(s) using S2QED. some formal code

e203_hbirdv2

The Ultra-Low Power RISC-V Core

epex-formal-rv32-model

A RISC-V RV32 model ready for SMT program synthesis.

exactstep

Instruction set simulator for RISC-V, MIPS and ARM-v6m

examples-in-book-write-your-own-cpu

《自己动手写CPU》一书附带的文件

frap

Formal Reasoning About Programs

free

翻墙、免费翻墙、免费科学上网、免费节点、免费梯子、免费ss/v2ray/trojan节点、蓝灯、谷歌商店、翻墙梯子

generic-sqed-demo

gitignore

A collection of useful .gitignore templates

gpt4free

decentralising the Ai Industry, just some language model api's...

gpt_api_free

Free ChatGPT API Key，免费ChatGPT API，支持GPT4 API（低价），ChatGPT国内可用免费转发API，直连无需代理。可以搭配ChatBox等软件/插件使用，极大降低接口使用成本。国内即可无限制畅快聊天。

hw-cbmc

The HW-CBMC and EBMC Model Checkers for Verilog

hw-formal-paper

Recent papers related to hardware formal verification.

ic3ref

IC3 reference implementation: a short, simple, fairly competitive implementation of IC3. Read it, tune it, extend it, play with it.