aicreatbyme

aicreatbyme's Stars

• microsoft/vscode

  Visual Studio Code

  Language:TypeScript165k3.3k187k29.5k

• rust-unofficial/awesome-rust

  A curated list of Rust code and resources.

  Language:Rust47.3k8221362.8k

• QSCTech/zju-icicles

  浙江大学课程攻略共享计划

  Language:HTML37.4k1.1k779.5k

• phil-opp/blog_os

  Writing an OS in Rust

  Language:HTML15.9k2844911.1k

• analysis-tools-dev/static-analysis

  ⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.

  Language:Rust13.4k3195771.4k

• nilaoda/BBDown

  Bilibili Downloader. 一个命令行式哔哩哔哩下载器.

  Language:C#10k556641.3k

• rustcc/writing-an-os-in-rust

  《使用Rust编写操作系统》

  Language:Rust2.2k627205

• BBuf/tvm_mlir_learn

  compiler learning resources collect.

  Language:Python2.2k374332

• google/souper

  A superoptimizer for LLVM IR

  Language:C++2.2k63141172

• sysprog21/shecc

  A self-hosting and educational C optimizing compiler

  Language:C1.1k2555121

• tidwall/hashmap.c

  Hash map implementation in C.

  Language:C8551828118

• AliveToolkit/alive2

  Automatic verification of LLVM optimizations

  Language:C++80323485104

• travitch/whole-program-llvm

  A wrapper script to build whole-program LLVM bitcode files

  Language:Python69329100126

• rems-project/sail

  Sail architecture definition language

  Language:Isabelle63236332118

• rustlang-cn/rust-algos

  <<Rust算法题解>>，用Rust语言实现常见的算法和数据结构，以及leetcode题解，algos = algorithms，written with ❤️ by course.rs team

  Language:Rust60412249

• smackers/smack

  SMACK Software Verifier and Verification Toolchain

  Language:C4322445382

• riscv-non-isa/riscv-sbi-doc

  Documentation for the RISC-V Supervisor Binary Interface

  Language:Makefile354466391

• oscomp/os-competition-info

  "全国大学生操作系统比赛2024"相关信息

  25514331

• davidmalcolm/gcc-python-plugin

  GCC plugin that embeds CPython inside the compiler

  Language:Python2021912058

• mlech26l/keras-ncp

  Language:Python1657124

• xiaoweiChen/LLVM-Techniques-Tips-and-Best-Practies

  《LLVM Techniques, Tips, and Best Practices》的非专业个人翻译

  Language:TeX1247017

• stevenknown/xoc

  XOC is a compiler infrastructure that provides multi-level operations, flexibility, and the capability of representing almost all popular languages. There are two level IR representations used throughout all phases of the compilation.

  Language:C++11410018

• WayneDevMaze/Chinese_noted_AFL

  记录自己在看 afl 源码时候的一些笔记和想法，还有一些自己觉得有意思的魔改。2020年12月2日update：添加混合模糊测试目录

  Language:C1063016

• iceqing/rust-ffi-examples

  FFI examples written in Rust

  Language:Makefile1055027

• woodruffw/toml2json

  A very small CLI for converting TOML to JSON

  Language:Rust73438

• wcventure/MemLock-Fuzz

  [ICSE2020] MemLock: Memory Usage Guided Fuzzing

  Language:C684113

• SRI-CSL/llvm2smt

  Experimental translation of llvm to smt.

  Language:LLVM5620614

• kristerw/pysmtgcc

  Some experiments with SMT solvers and GIMPLE IR

  Language:Python36803

• rustcc/hackathon2022

  hackathon2022 for rustcc

  Language:Rust303012

• silab-nitkc/pukeko

  An experimental LLVM-IR code fragment generator using the SMT solver Z3.

  Language:Python2100