eserie-fox / simple_concurrent_queue
A simple concurrent queue using std::mutex and std::condition_variable in C++ 11
☆16Updated last year
Alternatives and similar repositories for simple_concurrent_queue
Users that are interested in simple_concurrent_queue are comparing it to the libraries listed below
Sorting:
- 2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)☆207Updated 2 months ago
- A naive interpreter for IR of NJU compiler principle lab3, to accelerate interpretation, the ir will be compiled to machine-friendly bina…☆15Updated 4 years ago
- A similarity measurer on two programming assignments on Online Judge.☆9Updated 2 years ago
- ☆67Updated 4 years ago
- The MOSAIC Operating Systems Model and Checker☆189Updated 2 years ago
- A Simple CPP Static Analysis Framework☆21Updated last year
- Program analysis and verification framework☆20Updated 2 weeks ago
- 南京大学山寨毕业论文模版☆123Updated 6 years ago
- An optimizing compiler in the Chinese Collegiate Student System Capability Challenge (Compiler Track) 2021☆61Updated 3 months ago
- 带你畅游《软件分析》☆276Updated 2 years ago
- Most influential papers in programming languages☆57Updated 3 months ago
- A compiler that translates SysY (a subset of C language) into ARMv7a, implemented in Java15.☆60Updated 3 years ago
- 南京大学统一身份认证登录模块，可用于登录校园各种网站☆20Updated 3 weeks ago
- A verified polyhedral scheduling validator in Coq.☆20Updated 7 months ago
- Github Actions: 完成每日健康填报打卡，So easy☆66Updated 3 years ago
- A fast compiler for SysY code☆18Updated 2 years ago
- CS 704 course website - Principles of Programming Languages☆67Updated 2 years ago
- 国科大编译作业二：LLVM Pass处理函数调用☆18Updated 3 years ago
- SICP Online Judge, consisting of a server, a react web interface and a modified Ok client.☆12Updated 2 years ago
- Solutions to "Introduction to Models of Computation" of Nanjing University☆62Updated 7 years ago
- formal language and automata☆20Updated 4 months ago
- Exercises and other materials for the course on FP and QuickCheck at Peking University in October 2023☆34Updated last year
- 2021年华为毕昇杯中国科学技术大学Maho_Shojo队二等奖作品☆27Updated 2 years ago
- A JIT Compiler Fuzzer for JVMs via CSX/JoNM in "Validating JIT Compilers via Compilation Space Exploration" (SOSP'23)☆53Updated 2 months ago
- An unofficial reference implementation of the C Minus Minus Compiler☆58Updated 3 months ago
- Library for generating/parsing/optimizing Koopa IR.☆120Updated 5 months ago
- A compiler from TIP to llvm bitcode☆70Updated 5 months ago
- ☆70Updated 2 years ago
- A website for learners of 《Introduction to Algorithms》☆17Updated last year
- 国科大编译作业三：Point to 分析☆18Updated 3 years ago