Randomly generate a C (or javascript) program
☆36Apr 22, 2018Updated 8 years ago
Alternatives and similar repositories for randprog
Users that are interested in randprog are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The Hog programming language☆15Apr 24, 2018Updated 8 years ago
- I2P Daemon written in Rust☆14Apr 7, 2017Updated 9 years ago
- Bloqly: JavaScript Smart Contracts Engine + SQL database☆29Nov 18, 2018Updated 7 years ago
- An apt transport method enabling i2p using the SAM bridge.☆19May 13, 2025Updated last year
- A study of the effect of relaxing too conservative conditions for generating UB-free compiler test-cases of Csmith’s code-generation and …☆17Jul 24, 2025Updated 11 months 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.
- Here is the replication of the paper Probabilistic Delta Debugging, which has been accepted by ESEC/FSE 2021. More details can be found i…☆19Aug 2, 2021Updated 4 years ago
- The DREAM decompiler☆49Apr 27, 2022Updated 4 years ago
- Transparent proxying for I2P and forwarding other addresses to Tor or clearnet.☆35Mar 9, 2024Updated 2 years ago
- This is the respository that holds the artifacts of ASPLOS'25 -- M5: Mastering Page Migration and Memory Management for CXL-based Tiered …☆17Apr 1, 2025Updated last year
- ☆12Aug 13, 2014Updated 11 years ago
- ☆10Aug 16, 2012Updated 13 years ago
- Anonymous torrent client Transmission-I2P [UNMAINTAINED]☆42Jan 6, 2018Updated 8 years ago
- ☆13Feb 22, 2022Updated 4 years ago
- TVMFuzz: fuzzing tensor-level intermediate representation in TVM☆32May 24, 2020Updated 6 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Yet Another Random Program Generator☆556Nov 24, 2025Updated 7 months ago
- ☆12Mar 26, 2024Updated 2 years ago
- An example of Google's reCAPTCHA v2 Invisible harvester☆11Jul 1, 2024Updated 2 years ago
- ☆15May 5, 2026Updated last month
- A fork of a fast, small, webkit based browser framework extensible by Lua that uses GTK 3 and WebKit 2.☆38Dec 6, 2017Updated 8 years ago
- PRODeep: A Platform for Robustness Verification of Deep Neural Networks☆12Nov 11, 2020Updated 5 years ago
- This repository accompanies the research paper "P. Kreutzer, S. Kraus, M. Philippsen: Language-Agnostic Generation of Compilable Test Pro…☆12Jul 8, 2022Updated 3 years ago
- Recursive unified ORAM☆15Sep 23, 2015Updated 10 years ago
- Tools for communicating with Intel Management Engine through MEI (HECI)☆13Jul 27, 2017Updated 8 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- SuperMesh brings many Decentralized technologies with ease to your home☆24Jan 1, 2018Updated 8 years ago
- Is Neuron Coverage a Meaningful Measure for Testing Deep Neural Networks? (FSE 2020)☆10Sep 23, 2021Updated 4 years ago
- Variation of american fuzzy lop for testing compilers☆126Apr 21, 2022Updated 4 years ago
- Verifier for the Nyzo cryptocurrency☆73Jan 8, 2024Updated 2 years ago
- Csmith, a random generator of C programs☆1,215Mar 2, 2026Updated 4 months ago
- Central Tizen service for configuration of security policy for applications and users. This component encapsulates logic for configuratio…☆12Jul 1, 2017Updated 9 years ago
- ☆11Sep 17, 2024Updated last year
- LLVM-based Mutation Testing System. Proof of concept☆14Apr 14, 2016Updated 10 years ago
- Thinking is hard - automate it☆18Aug 24, 2022Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Course materials for the topic of fairness in machine learning algorithms.☆18Jun 6, 2023Updated 3 years ago
- An LLM-based fuzzing framework for C compilers testing.☆25Dec 14, 2025Updated 6 months ago
- ☆16Jun 24, 2024Updated 2 years ago
- ☆17Apr 25, 2023Updated 3 years ago
- An automatic test case generator for C source code using Memorized Symbolic Execution☆12May 4, 2023Updated 3 years ago
- ☆20Nov 5, 2018Updated 7 years ago
- Extensible Platform for Malware Analysis☆17Jan 14, 2021Updated 5 years ago