Bazoka13

Bazoka13's Stars

• TheBloodthirster/BUAA_Course_Sharing

  北京航空航天大学(北航)课程作业资料共享计划

  Language:Mathematica1.5k301

• YosysHQ/sby

  SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows

  Language:Python40375

• arminbiere/lingeling

  Lingeling SAT Solver

  Language:C9729

• audemard/glucose

  The glucose SAT solver

  Language:C++7613

• cad-polito-it/I99T

  ITC'99 benchmarks developed in the CAD Group at Politecnico di Torino

  Language:VHDL4717

• lsils/benchmarks

  EPFL logic synthesis benchmarks

  Language:Verilog16336

• longzhenren/buaa-gsmis-ical

  北航研究生信息系统课表导出为ical格式，可导入日历

  Language:JavaScript133

• HumanCompatibleAI/overcooked_ai

  A benchmark environment for fully cooperative human-AI performance.

  Language:Jupyter Notebook705148

• The-Run-Philosophy-Organization/run

  润学全球官方指定GITHUB，整理润学宗旨、纲领、理论和各类润之实例；解决为什么润，润去哪里，怎么润三大问题； 并成为新**人的核心宗教，核心信念。

  31.6k2.6k

• neo4j/neo4j

  Graphs for Everyone

  Language:Java13.3k2.4k

• apache/tvm

  Open deep learning compiler stack for cpu, gpu and specialized accelerators

  Language:Python11.7k3.5k

• Trinkle23897/oi_slides

  我的 OI 课件

  50493

• huzecong/oi-slides

  我的信息学竞赛讲课课件

  Language:TeX1.2k247

• bdqnghi/infercode

  [ICSE 2021] - InferCode: Self-Supervised Learning of Code Representations by Predicting Subtrees

  Language:Python8924

• tju-chenyaosuo/COTest

  Language:Python6

• ZJU-Automated-Reasoning-Group/smtfuzz

  A fuzzer for SMT solvers

  Language:Python193

• Practical-Formal-Methods/storm

  A blackbox mutational fuzzer for detecting critical bugs in SMT solvers

  Language:SMT8511

• CTOS-results/LLVM-Bugs-by-Optimization-sequences

  CTOS: Compiler Testing for Optimization Sequences

  6

• chuanluocs/SamplingCA

  SamplingCA: Effective and Efficient Sampling-based Pairwise Testing for Highly Configurable Software Systems

  Language:C++5

• haoxintu/CCOFT

  Detecting C++ Compiler Front-end Bugs via Grammar Mutation and Differential Testing

  4

• swjtu-railway/IPOG-MM

  Experimental results for the IPOG-MM algorithm

  Language:HTML1

• jkunlin/fastca

  Language:C++4

• cloneofsimo/lora

  Using Low-rank adaptation to quickly fine-tune diffusion models.

  Language:Jupyter Notebook7k481

• chenshi1324/yunzaibot

  Language:JavaScript252

• Nambers/MiraiCP

  c++ SDK of Mirai

  Language:C++17731

• cyanray/mirai-cpp

  本项目为 mirai-api-http 的 C++ 封装，方便使用 C++ 开发基于 mirai-api-http 插件。

  Language:C++14837

• ixinzhi/music

  作曲编曲混音资料库

  17749

• Operacon/XiaoXiang-miraiBot

  潇小湘 - 可能不烦的 mirai 机器人

  Language:Kotlin53

• Vonng/ddia

  《Designing Data-Intensive Application》DDIA中文翻译

  Language:Python20.4k4.3k

• quartz-scheduler/quartz

  Code for Quartz Scheduler

  Language:Java6.3k1.9k