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)
  ☆211Updated 8 months ago
• No-SF-Work / ayame
  A compiler that translates SysY (a subset of C language) into ARMv7a, implemented in Java15.
  ☆64Updated 4 years ago
• kobayashi-compiler / kobayashi-compiler
  An optimizing compiler targeting armv7 and risc-v32
  ☆63Updated 10 months ago
• jiangyy / mosaic
  The MOSAIC Operating Systems Model and Checker
  ☆203Updated 2 years ago
• AlwenXXD / nscscc2021
  龙芯杯21个人赛作品
  ☆36Updated 4 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
• ChinaNuke / llvm-pass
  国科大编译作业二：LLVM Pass处理函数调用
  ☆18Updated 4 years ago
• jiangyy / njuthesis
  南京大学山寨毕业论文模版
  ☆134Updated 6 years ago
• massimodong / compilers-tests
  ☆68Updated 5 years ago
• StardustDL / codesim
  A similarity measurer on two programming assignments on Online Judge.
  ☆10Updated 2 years ago
• Infinity-Type-Cafe / ntype-cafe-summer-school
  ntype cafe summer school resources
  ☆143Updated last year
• pku-minic / koopa
  Library for generating/parsing/optimizing Koopa IR.
  ☆129Updated 2 weeks ago
• Anarion-zuo / Stanford-CS143
  ☆60Updated 5 years ago
• JacyCui / fla
  formal language and automata
  ☆28Updated 3 weeks ago
• pascal-lab / Tai-e-assignments
  Tai-e assignments for static program analysis
  ☆1,203Updated 3 months ago
• ChinaNuke / Point-to-Analysis
  国科大编译作业三：Point to 分析
  ☆19Updated 3 years ago
• loongson-education / nscscc-wiki
  NSCSCC 信息整合
  ☆252Updated 4 years ago
• BUAA-SE-Compiling / rurikawa
  A simple Docker-based build & judge system for complex multi-file projects. 使用 Docker 隔离的适用于多文件项目的自动评测机。
  ☆44Updated 3 years ago
• yihozhang / most-influential-pl-papers
  Most influential papers in programming languages
  ☆57Updated 10 months ago
• pku-minic / compiler-dev
  Compiler development environment.
  ☆20Updated 2 weeks ago
• TrivialCompiler / TrivialCompiler
  A toy compiler written in C++17 that translates SysY (a C-like toy language) into ARM-v7a assembly.
  ☆146Updated 4 years ago
• verif-scop / PolCert
  A verified polyhedral scheduling validator in Coq.
  ☆23Updated last year
• decaf-lang / minidecaf
  The MiniDecaf compilers.
  ☆67Updated 4 years ago
• AdUhTkJm / sysy-competition
  The SysY compiler competition. A backup before official path gets set up.
  ☆43Updated 3 months ago
• hkustgz-zhang-lab / HW-Formal-Paper
  Recent papers related to hardware formal verification.
  ☆74Updated 2 years ago
• courses-at-nju-by-hfwei / compilers-lectures
  Lectures for the class on Compilers@software.nju.edu.cn
  ☆212Updated last year
• mlzeng / CSC2020-USTC-FlammingMyCompiler
  全国大学生计算机系统能力大赛编译系统设计赛项目
  ☆244Updated 4 years ago
• pku-minic / compiler-dev-test-cases
  Local test cases for SysY compilers, used by compiler-dev.
  ☆25Updated 3 years ago
• JacyCui / introduction-to-algorithms
  A website for learners of 《Introduction to Algorithms》
  ☆19Updated last year
• gcc17 / ics196
  ICS seminar 6, 2019 Fall
  ☆11Updated 5 years ago