Repository for synthCT framework (NDSS'22)
☆10Oct 5, 2022Updated 4 years ago
Alternatives and similar repositories for synthCT
Users that are interested in synthCT are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Rust Bindings to interact with SMTLIB2 compliant solvers☆17Jun 3, 2019Updated 7 years ago
- compiling DSLs to high-level hardware instructions☆25Nov 8, 2022Updated 3 years ago
- Companion to the "Introduction to VirtualBox security research" Blog Post☆35Apr 26, 2022Updated 4 years ago
- ☆10Aug 28, 2020Updated 6 years ago
- Symbolic Execution over Falcon IL☆31Mar 13, 2026Updated 7 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Privacy-preserving LLM inference with CKKS homomorphic encryption and Private Linear Layer (PLL) protection for LoRA fine-tuned models☆12Oct 18, 2025Updated last year
- Research Compiler using Graph IR for Code Optimizations and Code Generations☆50Apr 1, 2019Updated 7 years ago
- Memory Compression Attacks☆14May 21, 2023Updated 3 years ago
- A Symbolic Emulator for Shuffle Synthesis on the NVIDIA PTX Code☆16Mar 19, 2023Updated 3 years ago
- Hyperdimensional computing in memory. Artifact from 'A Case Study of Processing-in-Memory in off-the-Shelf Systems' (USENIX ATC '21)☆10Dec 2, 2023Updated 2 years ago
- ☆10Mar 8, 2025Updated last year
- ☆15Jun 2, 2025Updated last year
- [PACT'24] GraNNDis. A fast and unified distributed graph neural network (GNN) training framework for both full-batch (full-graph) and min…☆10Aug 13, 2024Updated 2 years ago
- Command-line utility to return Zotero record field values given a Zotero select link, an item key, or even just a file attachment☆10Dec 23, 2023Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Tools for keeping track of biogems. Moved to https://git.thebird.nl/free/biogems.info☆13Nov 23, 2019Updated 6 years ago
- A DL compiler fuzzer☆15Nov 1, 2024Updated last year
- Work related to vectorizing strategies for arbitrary FHE programs☆11Sep 5, 2025Updated last year
- Automatically run experiments, upload results to google docs, analyze them using R, and include the analysis in LaTeX.☆18Mar 3, 2015Updated 11 years ago
- ☆10Jul 9, 2020Updated 6 years ago
- Garbage collector experiments in Rust☆23May 23, 2016Updated 10 years ago
- Run your Binary Ninja Python console in a separate Terminal window.☆18Nov 1, 2018Updated 7 years ago
- An reddit bot that displays useful GPA/course information in response to reddit topics/comments☆11Oct 5, 2025Updated last year
- Shazam for food.☆15Dec 31, 2016Updated 9 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A library to try and extend Compose.jl to 3D.☆20Nov 16, 2015Updated 10 years ago
- TSAR (Traits Static AnalyzeR)☆14May 3, 2024Updated 2 years ago
- ☆43Aug 4, 2020Updated 6 years ago
- A Scala equality saturation library☆21Sep 11, 2026Updated last month
- ☆11Mar 2, 2024Updated 2 years ago
- obfuscation that aims to not stand out☆22Mar 27, 2022Updated 4 years ago
- AyedFuzzer is a small File-Format-Fuzzer with 3 options (File-mutating, WinDbg-interactive monitor, multi-processing) for windows executa…☆17Dec 2, 2024Updated last year
- SIMPLER MAGIC: Synthesis and In-memory MaPping of Logic Execution in a single Row for Memristor Aided loGIC☆13Dec 5, 2019Updated 6 years ago
- A new DRAM substrate that mitigates the excessive energy consumption from both (i) transmitting unused data on the memory channel and (i…☆14Aug 23, 2024Updated 2 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- ☆12May 20, 2021Updated 5 years ago
- LLM Program Watermarking☆20Apr 19, 2024Updated 2 years ago
- ☆14Jun 21, 2020Updated 6 years ago
- A Simulator for Executing Matrix-Vector Multiplications on Analog Computing-in-Memory Crossbars☆13Sep 21, 2026Updated last month
- ☆15Sep 14, 2022Updated 4 years ago
- Tzer: TVM Implementation of "Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation (OOPSLA'22)“.☆12Jan 15, 2022Updated 4 years ago
- Open Source Software modified or written by Tetrane https://www.tetrane.com for the REVEN product.☆21Feb 9, 2023Updated 3 years ago