2994186010

2994186010's Stars

• xtekky/gpt4free

  The official gpt4free repository | various collection of powerful language models

  Language:Python62.7k4851.5k13.4k

• zsh-users/zsh-autosuggestions

  Fish-like autosuggestions for zsh

  Language:Shell31.7k1865991.9k

• llvm/llvm-project

  The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

  Language:LLVM29.6k58078.7k12.3k

• avast/retdec

  RetDec is a retargetable machine-code decompiler based on LLVM.

  Language:C++8.1k242842953

• OpenXiangShan/XiangShan

  Open-source high-performance RISC-V processor

  Language:Scala5k87436670

• llvm-mirror/llvm

  Project moved to: https://github.com/llvm/llvm-project

  Language:LLVM4.6k28302.1k

• putyy/res-downloader

  支持视频号、小程序、抖音、快手、小红书、直播流、酷狗、QQ音乐等常见网络资源!

  Language:TypeScript3.8k35103543

• Authenticator-Extension/Authenticator

  Authenticator generates 2-Step Verification codes in your browser.

  Language:TypeScript3.5k137735808

• deepflowio/deepflow

  eBPF Observability - Distributed Tracing and Profiling

  Language:Go3k46571336

• riscv-software-src/riscv-isa-sim

  Spike, a RISC-V ISA Simulator

  Language:C2.5k132867873

• bminor/glibc

  Unofficial mirror of sourceware glibc repository. Updated daily.

  Language:C1.4k460400

• diffblue/cbmc

  C Bounded Model Checker

  Language:C++863401.3k268

• JuliaHubOSS/llvm-cbe

  resurrected LLVM "C Backend", with improvements

  Language:C++85938107146

• microsoft/llvm-mctoll

  llvm-mctoll

  Language:C++8193495123

• arminbiere/kissat

  Language:C473244786

• acl2/acl2

  ACL2 System and Books as Maintained by the Community

  Language:Common Lisp37036487100

• zy445566/llvm-guide-zh

  User Guides For those new to the LLVM system.(LLVM系统的新用户指南,中文翻译版)

  Language:C++35316266

• ccagml/leetcode-extension

  Solved LeetCode problem in VS Code added some new features

  Language:TypeScript307212732

• staticafi/llvm2c

  Decompiler of LLVM bitcode to C

  Language:C++826439

• freemint/fdlibm

  Math library

  Language:C7912725

• diffblue/hw-cbmc

  The HW-CBMC and EBMC Model Checkers for Verilog

  Language:C++6294115

• biotomas/ipasir

  The Standard Interface for Incremental Satisfiability Solving

  Language:C++4871214

• xinhuang/clang-playground

  This is the repository for clang-playground series.

  Language:C++22317

• d-kfmnn/amulet2

  AMulet 2. - A better AIG Multiplier Examination Tool

  Language:C++20364

• cwndrws/lisp-c-example

  An example program calling a lisp function from c

  Language:C14412

• xigh/llvmbc-dump

  Simple tool extracts LLVM bitcode modules from ELF binaries compiled with "-fembed-bitcode"

  Language:C5200

• Yunlongs/clang-function-prototype

  A clang's plugin to extract function's prototype.

  Language:C4100

• imgss/readCounter

  博客园小爬虫

  Language:JavaScript3112

• pahihu/ficl

  Enhanced FiCL based on FiCL 4.0.31

  Language:C3613

• yibwu/csapp

  CSAPP exercise

  Language:C212