fenris - program execution path analysis tool
☆30Feb 19, 2014Updated 12 years ago
Alternatives and similar repositories for fenris
Users that are interested in fenris are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Lua 5.4 to C transpiler dependent on the vanilla runtime☆20Nov 12, 2022Updated 3 years ago
- An AVL tree implemented with an array, because cache misses keep you awake at night. Using a BSD license☆18Jun 14, 2014Updated 11 years ago
- Underconstrained symbolic execution for cryptography verification☆19Mar 26, 2021Updated 5 years ago
- Windows Kernel Dump Analyzer☆15May 9, 2015Updated 11 years ago
- hook detector using emulation and comparing static with dynamic outputs☆17Aug 11, 2023Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A small tool for quickly generating LLVM passes☆29Sep 22, 2025Updated 8 months ago
- Attempt to reproduce paper for crack inspection in nuclear plants from video footage.(see references).☆14Dec 19, 2019Updated 6 years ago
- Rust library for conversion to/from proquints☆14Feb 9, 2018Updated 8 years ago
- 💳 ETL (Extract, Transform and Load) pipeline for calculating stats for a transactions database & testing the efficacy of a loyalty prog…☆10Apr 25, 2017Updated 9 years ago
- ☆24Dec 11, 2022Updated 3 years ago
- Ghidra's development plugins, scripts, contributing. Presentation☆13Aug 10, 2020Updated 5 years ago
- This uses HydroSphere to expose a Python machine learning preventive maintenance model for truck brake maintenance☆17Jan 23, 2026Updated 4 months ago
- bctf2017 challenges☆11Apr 20, 2017Updated 9 years ago
- Peephole optimizer for QBE☆33Sep 1, 2025Updated 9 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.
- Tutorial for setting up an Ethereum private chain, sending transactions, and doing smart contracts ...☆11Feb 22, 2022Updated 4 years ago
- Evolutionary Game Theory Simulator☆11Jun 8, 2018Updated 8 years ago
- Dnscript is specific scripting language specializing to build the "danmaku" in shooting game.☆11Apr 29, 2016Updated 10 years ago
- Basic Ethereum Oracle example, using Provable, Truffle, Vue and Web3☆21Feb 11, 2019Updated 7 years ago
- A library for parsing HTTP Link header.☆12Apr 13, 2026Updated last month
- Predicting Supply Chain Risks Using Machine Learning: The Trade-off Between Performance and Interpretability - Supplementary Material☆14Mar 8, 2019Updated 7 years ago
- A script to transcribe audio files with Google Cloud Speech API.☆10Oct 31, 2017Updated 8 years ago
- A demo using Zokrates to build an encrypted transaction on Ethereum/Qtum based on zkSNARKs algorithm☆15Oct 16, 2019Updated 6 years ago
- Brainfuck architecture module and loader for Binary Ninja☆20Mar 16, 2026Updated 2 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.
- An Open-Source Ethereum Smart Contract for Peer-to-Peer Decentralized Local Energy Market Transactions☆11Jan 23, 2021Updated 5 years ago
- A blockchain-based local energy market (LEM) simulation.☆10Jun 21, 2022Updated 3 years ago
- Some Monte Carlo algorithms for the estimation of small probabilities associated with rare events☆12Aug 16, 2023Updated 2 years ago
- Forecasting and anomaly detection of gas consumption☆10Aug 10, 2017Updated 8 years ago
- Minimal docker image with disel cli for migrations☆14Oct 11, 2018Updated 7 years ago
- The repository contains my code for route optimization heuristics developed to solve the problem of routing for pick/place operations in …☆13Aug 3, 2018Updated 7 years ago
- Zero-copy, no-std proquint encoding and decoding☆14May 7, 2023Updated 3 years ago
- ☆14Jun 25, 2019Updated 6 years ago
- Fuzzy Fusion of Decisions from Heterogeneous Deep Machine Learning Models☆15Jun 26, 2019Updated 6 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.
- A an ERC20 token backed by carbon credits - allows certified issuance, transfer and retirement☆13Nov 30, 2019Updated 6 years ago
- ☆23May 12, 2022Updated 4 years ago
- Kalman filter implementation☆13May 6, 2018Updated 8 years ago
- ☆14Apr 27, 2020Updated 6 years ago
- ☆14Jul 14, 2018Updated 7 years ago
- Smart contracts for zkPoD Decentralized Exchange☆14Dec 10, 2022Updated 3 years ago
- The FUZZY PID codes used for the SSL robots along with UART Communication on STM 32 Discovery Board☆14Oct 1, 2020Updated 5 years ago