CS6868: Concurrent Programming
☆32Updated this week
Alternatives and similar repositories for cs6868_s26
Users that are interested in cs6868_s26 are comparing it to the libraries listed below
Sorting:
- Deep Generative Models course, 2025☆11Jun 5, 2025Updated 8 months ago
- CS341 for Spring 2024☆11Jul 15, 2024Updated last year
- Verifying the SCION architecture using Gobra☆11Feb 9, 2026Updated 2 weeks ago
- ☆26Dec 16, 2025Updated 2 months ago
- Cocktail Toolbox for compiler construction - generated source code in C☆12Jan 9, 2025Updated last year
- Hakyll support for Agda literate files☆19Jul 20, 2021Updated 4 years ago
- Search your GroupMe messages.☆11Jan 21, 2026Updated last month
- Remove any object from videos.☆17Jun 15, 2025Updated 8 months ago
- ZeroMQ transport for distributed-process (aka Cloud Haskell)☆23Jun 7, 2016Updated 9 years ago
- Clipboard synchronization tool☆12Jan 30, 2026Updated 3 weeks ago
- Sets of Half-Average Nulls Generate Risk-Limiting Audits: tools for assertion-based risk-limiting election audits☆11Jul 17, 2025Updated 7 months ago
- Experimental port of ADEV to Julia☆11Nov 12, 2023Updated 2 years ago
- Z3 webpage repository☆10Feb 19, 2026Updated last week
- Assignments for COMP SCI 839 from UW-Madison in Fall 2023☆12Nov 30, 2023Updated 2 years ago
- ☆29Feb 14, 2026Updated last week
- Mechanized baselines for various type system features☆18Feb 20, 2026Updated last week
- Accepted papers for PLDI 2014☆15May 19, 2016Updated 9 years ago
- The capistrano tasks for Jenkins CI Server☆26Jul 15, 2014Updated 11 years ago
- ☆13Apr 28, 2025Updated 10 months ago
- Files for the tutorial "Correct-by-construction programming in Agda" at POPL '19 in Cascais☆26Jan 14, 2019Updated 7 years ago
- The PERPL Compiler☆14Oct 17, 2025Updated 4 months ago
- ☆15Jan 16, 2024Updated 2 years ago
- weblogic 12.1.2 coherence goldengate database 11gR2☆13Dec 28, 2014Updated 11 years ago
- ☆13Oct 22, 2020Updated 5 years ago
- Empowering Farmers, Enhancing Productivity☆10Aug 26, 2023Updated 2 years ago
- ☆14May 28, 2025Updated 8 months ago
- ☆12Nov 6, 2025Updated 3 months ago
- ☆12Aug 29, 2020Updated 5 years ago
- being the notes and materials for CS410 in the 2013/14 academic session☆30May 27, 2014Updated 11 years ago
- Constant-time choose between two variables in Clang/LLVM☆20Apr 14, 2018Updated 7 years ago
- Resources for my Homotopy Type Theory course at OPLSS 2023☆13Jul 11, 2023Updated 2 years ago
- Capability-based verifier for safe Rust clients of interior mutability☆15Jul 18, 2024Updated last year
- ☆13Apr 5, 2020Updated 5 years ago
- Automated Reasoning for the Working Mathematician☆11Aug 30, 2019Updated 6 years ago
- Development area for another repo: Learn_Bluespec_and_RISCV_Design☆13Nov 10, 2025Updated 3 months ago
- Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos☆11Feb 7, 2025Updated last year
- ☆17Feb 16, 2026Updated last week
- ☆16Jan 31, 2026Updated last month
- This repository has some of my practice Frontend projects, made using HTML5, CSS3, TailwindCSS, JavaScript and React.☆14Nov 13, 2025Updated 3 months ago