☆11Jun 20, 2023Updated 2 years ago
Alternatives and similar repositories for pldi-tutorials-2023
Users that are interested in pldi-tutorials-2023 are comparing it to the libraries listed below
Sorting:
- Common components used on the Parenthesin's service templates.☆11Mar 16, 2025Updated 11 months ago
- The repository contains container recipes to build the entire stack of Xeus-Cling and Cling including cuda extension with just a few comm…☆10Dec 22, 2020Updated 5 years ago
- ☆14Sep 12, 2021Updated 4 years ago
- Eval functions and macros☆41Jan 30, 2025Updated last year
- A framework for identifying vulnerabilities in VS Code extensions☆19Jul 9, 2024Updated last year
- A tool based on python to parse C/C++ code into code property graph☆17Nov 4, 2022Updated 3 years ago
- A Hybrid Alias Analysis☆19Aug 10, 2023Updated 2 years ago
- experimental macro for allowing Algol-like block structure scoping in clojure☆22Feb 25, 2024Updated 2 years ago
- ☆28Sep 17, 2025Updated 5 months ago
- A Pointer Analysis Framework for Rust☆67Jun 17, 2025Updated 8 months ago
- 🌟 Notes and codes for Linux Kernel (SJTU-CS353)☆25Jun 22, 2021Updated 4 years ago
- A cookiecutter template for using cppyy to generate python bindings for c++ code☆28Nov 19, 2019Updated 6 years ago
- a wavelet-based multifractal image analysis tool implementing the WTMM (Wavelet Transform Modulus Maxima) method.☆11Feb 1, 2020Updated 6 years ago
- UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)☆62May 16, 2025Updated 9 months ago
- Finds licenses of your Clojure(Script) dependencies☆33Apr 15, 2025Updated 10 months ago
- A small, zero-dependency Redis client for Clojure.☆29Sep 11, 2025Updated 5 months ago
- A Clang-based C++ Interoperability Library☆88Updated this week
- ClojureScript wrapper library generator☆31May 27, 2024Updated last year
- ☆37Nov 11, 2024Updated last year
- Micro-library to help debug Clojure programs☆30Aug 15, 2018Updated 7 years ago
- ☆37May 19, 2023Updated 2 years ago
- Program dependence graph in LLVM☆42Aug 4, 2025Updated 7 months ago
- generic plugin framework in C++☆41Mar 21, 2025Updated 11 months ago
- A number of trivial wrappers on top of virtual threads☆49Dec 18, 2025Updated 2 months ago
- ☆37Aug 21, 2025Updated 6 months ago
- 软件工程与形式化方法相关前沿工作阅读与分享☆36Oct 27, 2025Updated 4 months ago
- A FORTRAN implementation of a Moving Finite Volume MHD code in three dimensions including self-gravity.☆12Jan 24, 2017Updated 9 years ago
- Please note OpenFPM project structure change in version 5.0.0. For details refer to the main repo and website☆11Jan 19, 2026Updated last month
- University of Vermont Mechanical Engineering Heat Transfer Course☆16Apr 6, 2023Updated 2 years ago
- ☆10Mar 2, 2021Updated 5 years ago
- ☆11Jul 13, 2022Updated 3 years ago
- Assignments and support code for Geoff Hulten's machine learning course.☆11Dec 23, 2020Updated 5 years ago
- Unix-like operating system for CNC / Machine Control applications☆10Jun 12, 2018Updated 7 years ago
- Tool for loading and testing native shaders translated from crosstl☆13Dec 15, 2024Updated last year
- Repository for participants of the "Containers for HPC" training☆11Feb 11, 2026Updated 3 weeks ago
- Computer Systems Lab☆11Oct 16, 2025Updated 4 months ago
- Deployed version of Tableaunoir. Do not modify this repository.☆11Updated this week
- GPU-accelerated RIME implementations. An offshoot of the BIRO projects, and one of the foothills of Mt Exaflop.☆10Dec 10, 2025Updated 2 months ago
- Using SVF in Python Projects☆15Feb 26, 2026Updated last week