(Model-based) Automated Software Engineering
☆10Jun 11, 2017Updated 8 years ago
Alternatives and similar repositories for ase16
Users that are interested in ase16 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Benchmarks, testbenches, and transformed codes for high-level synthesis research☆13Aug 18, 2017Updated 8 years ago
- This is the repository for the transpiler to compile Verilog to C++ code with TFHE library.☆18Apr 25, 2020Updated 5 years ago
- ☆18Mar 7, 2019Updated 7 years ago
- DATE'24 paper: "Hierarchical Source-to-Post-Route QoR Prediction in High-Level Synthesis with GNNs"☆20Dec 10, 2024Updated last year
- Polyhedral High-Level Synthesis in MLIR☆35Mar 17, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Grey-box fuzzer SIVO☆13Jul 11, 2021Updated 4 years ago
- CTF writeups☆13Jul 2, 2017Updated 8 years ago
- Python interface for Binexport, the Bindiff export format☆22Updated this week
- Playground for testing feedback☆16Aug 12, 2020Updated 5 years ago
- Semantic Crash Bucketing☆16Sep 8, 2020Updated 5 years ago
- Identifying the compiler family, version and compiler flags that generated a binary☆19Dec 19, 2019Updated 6 years ago
- No description yet☆11May 26, 2023Updated 2 years ago
- A tool / library for simplifying string obfuscation with xor.☆22Jul 10, 2024Updated last year
- ☆16Dec 22, 2019Updated 6 years ago
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- ☆16Mar 23, 2018Updated 8 years ago
- FunSeeker: Binary Function Identification Tool☆26Dec 23, 2023Updated 2 years ago
- A neural network using fuzzing-style feedback rather than back-propagation☆18Aug 12, 2020Updated 5 years ago
- Compile-time string processing utilities, with TypeName resolution and built-in file path manipulation☆14Feb 23, 2026Updated last month
- ☆18Aug 31, 2014Updated 11 years ago
- Original Joy☆11Dec 17, 2024Updated last year
- Code for the paper "A Lightweight Framework for Function Name Reassignment Based on Large-Scale Stripped Binaries"☆15Jul 3, 2021Updated 4 years ago
- A series of dynamic analysis tools for Binary Ninja, built with PyQt and Binjatron☆20Oct 23, 2020Updated 5 years ago
- ☆74Feb 20, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Dataset for ML-guided Accelerator Design☆44Nov 18, 2024Updated last year
- Codee☆17Dec 9, 2020Updated 5 years ago
- Complete, typesafe representation of Vega-Lite in OCaml☆10Nov 13, 2017Updated 8 years ago
- Tool to test different CTF scoring algorithms on real data☆17May 3, 2021Updated 4 years ago
- 模糊测试种子库 comprehensive croups for fuzzing seeds with carfefully selected(rate=coverage/filesize)☆24Apr 7, 2021Updated 5 years ago
- Replication package for the SANER 2023 paper titled "Extending Source Code Pre-Trained Language Models to Summarise Decompiled Binaries"☆17Jul 8, 2024Updated last year
- This repository contains dynamic and static tools for IoT malware analysis☆21Jul 4, 2022Updated 3 years ago
- Numerical Optimisation Library☆17Jul 9, 2023Updated 2 years ago
- ☆28Jun 18, 2020Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- negamax AI algorithm for turn-based games☆13Oct 6, 2019Updated 6 years ago
- A Type System Attempt for Wolfram Language☆13Feb 28, 2021Updated 5 years ago
- Code for PathAFL on ASIACCS 2020. Please see README_CN.md. Please wait for README_EN.md.☆18Nov 11, 2020Updated 5 years ago
- Aivika for .NET, simplified version☆10Nov 11, 2017Updated 8 years ago
- Lua implemented in Mercury☆15Mar 17, 2024Updated 2 years ago
- Pack unit 3D vectors (such as normal vectors) into integer type☆17May 21, 2016Updated 9 years ago
- As-rigid-as-possible face deformation☆12Apr 18, 2014Updated 11 years ago