Alternatives and similar repositories for simple_concurrent_queue

Users that are interested in simple_concurrent_queue are comparing it to the libraries listed below

• thufv / CMinor-Verifier
  2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)
  ☆210Updated 3 months ago
• jiangyy / mosaic
  The MOSAIC Operating Systems Model and Checker
  ☆193Updated 2 years ago
• massimodong / compilers-tests
  ☆68Updated 5 years ago
• No-SF-Work / ayame
  A compiler that translates SysY (a subset of C language) into ARMv7a, implemented in Java15.
  ☆64Updated 3 years ago
• kobayashi-compiler / kobayashi-compiler
  An optimizing compiler targeting armv7 and risc-v32
  ☆61Updated 4 months ago
• AlwenXXD / nscscc2021
  龙芯杯21个人赛作品
  ☆36Updated 3 years ago
• JacyCui / fla
  formal language and automata
  ☆21Updated 6 months ago
• pku-minic / compiler-dev-test-cases
  Local test cases for SysY compilers, used by compiler-dev.
  ☆22Updated 3 years ago
• BryanHeBY / NJU_DigitalDesignProject
  A RV32I pipeline CPU and applications transplanted from AM, NJU-Project-N
  ☆11Updated 3 years ago
• RicoloveFeng / SPA-Freestyle-Guidance
  带你畅游《软件分析》
  ☆278Updated 2 years ago
• icsnju / MetaMut
  MetaMut is a mutation operator generator to facilitate compiler fuzzing.
  ☆26Updated 6 months ago
• wildoranges / MahoShojo
  2021年华为毕昇杯中国科学技术大学Maho_Shojo队二等奖作品
  ☆27Updated 2 years ago
• helesta-compiler / helesta
  A fast compiler for SysY code
  ☆18Updated 2 years ago
• pku-minic / koopa
  Library for generating/parsing/optimizing Koopa IR.
  ☆123Updated 6 months ago
• pascal-lab / Tai-e-assignments
  Tai-e assignments for static program analysis
  ☆1,155Updated 2 years ago
• verif-scop / PolCert
  A verified polyhedral scheduling validator in Coq.
  ☆21Updated 8 months ago
• plctlab / weloveinterns
  PLCT实验室实习生社区。
  ☆260Updated 2 weeks ago
• 0x2d / mycompiler
  北京大学2021-2022编译原理Lab, SysY编译器 PKU 2021-2022 Compiler Principles, a SysY compiler
  ☆9Updated 3 years ago
• wierton / ncc-tools
  A naive interpreter for IR of NJU compiler principle lab3, to accelerate interpretation, the ir will be compiled to machine-friendly bina…
  ☆16Updated 5 years ago
• yihozhang / most-influential-pl-papers
  Most influential papers in programming languages
  ☆57Updated 5 months ago
• StardustDL / codesim
  A similarity measurer on two programming assignments on Online Judge.
  ☆9Updated 2 years ago
• zhangt2333 / actions-NjuHealthReport
  Github Actions: 完成每日健康填报打卡，So easy
  ☆66Updated 3 years ago
• nemoworks / NJUGraduateCourses
  ☆69Updated 2 years ago
• mlzeng / CSC2020-USTC-FlammingMyCompiler
  全国大学生计算机系统能力大赛编译系统设计赛项目
  ☆245Updated 4 years ago
• CH3CHOHCH3 / riscv-decoder
  ☆13Updated 3 years ago
• StellarDragon / nju-health-report
  南京大学APP每日健康打卡。自用
  ☆9Updated 4 years ago
• ics-nju-wl / icspa-public-guide
  Guide for ICSPA MOOC
  ☆76Updated last year
• No-SF-Work / miniSysY-tutorial
  BUAASE2019级的编译实验的实验指导与实验安排
  ☆119Updated 2 years ago
• jegi / Beijing-exercises
  Exercises and other materials for the course on FP and QuickCheck at Peking University in October 2023
  ☆34Updated last year
• hitsz-compiler-lyk / ssyc
  2022 年毕昇杯 萝杨空队 参赛项目
  ☆13Updated last year