Symbolic execution engine for JavaScript
☆13Apr 5, 2016Updated 10 years ago
Alternatives and similar repositories for leena
Users that are interested in leena are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Save data from Instagram takeout to a SQLite database☆20Sep 21, 2025Updated last year
- A tool to verify that your files are in harmony with your .editorconfig☆55Sep 1, 2026Updated 2 months ago
- MOVED to @agoric/ses-shim. build a defensible API surface around an object by freezing all reachable properties☆16Feb 21, 2020Updated 6 years ago
- Walley, an in-browser/on-demand Ethereum Wallet — *ALPHA*☆19Oct 9, 2018Updated 8 years ago
- A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and sup…☆228Jan 19, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Repositório do Curso de Exploração de Binários☆13Jan 9, 2021Updated 5 years ago
- the acorn javascript parser, preloaded with plugins for syntax parity with recent node versions☆13Jun 26, 2025Updated last year
- Javascript library fuzzer. Tries to detect functions which may lead to XSS vulnerabilities if untrusted data is passed to said functions.☆17Oct 6, 2020Updated 6 years ago
- Haskell implementation of a Markup processing system.☆11Apr 17, 2017Updated 9 years ago
- OAuth client for the R statistical programming language☆10May 17, 2011Updated 15 years ago
- Novel reentrancy attack on Ethereum Smart Contracts using Transient Storage and little gas☆15Nov 10, 2023Updated 2 years ago
- ☆19Dec 12, 2022Updated 3 years ago
- Dr. Y's Ethereum Contract Analyzer☆42Mar 24, 2022Updated 4 years ago
- Ember-CLI addon for using Ember-OAuth2 in your app☆13Dec 29, 2016Updated 9 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ExeScan is the FREE console based tool to detect anomalies in PE (Portable Executable) files. It quickly scans given executable file and …☆21Dec 14, 2018Updated 7 years ago
- A bootstrap theme inspired from game: VA-11 Hall-A☆11Jun 2, 2018Updated 8 years ago
- Example TodoMVC app using AngularJS with Meteor☆13Nov 13, 2013Updated 12 years ago
- Browserify CDN☆12Feb 24, 2017Updated 9 years ago
- ☆10Mar 17, 2017Updated 9 years ago
- Service Worker registration utility☆11Jul 24, 2016Updated 10 years ago
- Tokenizer for ACE editor to do syntax highlighting using an ANTLR4 lexer.☆13Apr 25, 2016Updated 10 years ago
- Plain Python implementation of the MySQL protocol. It uses asyncio, so works only with Python 3.3+. It only implements the server partfor…☆14Feb 28, 2015Updated 11 years ago
- GPU-accelerated Schulze voting method in Python, Numba, CUDA, and Mojo 🔥, using ideas from Algebraic Graph Theory☆20Oct 23, 2026Updated 2 weeks ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Yet another metacircular JavaScript interpreter.☆10May 25, 2013Updated 13 years ago
- ⛔️ DEPRECATED: interface-connection is now included in https://github.com/libp2p/js-interfaces☆18Mar 11, 2020Updated 6 years ago
- Visualization of the US Budget☆12Mar 27, 2016Updated 10 years ago
- Sequential anomaly detection method evaluation☆18Mar 9, 2013Updated 13 years ago
- Blog post demo application☆16Mar 3, 2021Updated 5 years ago
- ⛔️ DEPRECATED: JavaScript in-browser implemenation of OAuth1.0☆19Nov 21, 2022Updated 3 years ago
- [ARCHIVED] IPFS logo☆14Apr 28, 2020Updated 6 years ago
- Communicate with a remote shell easily☆12Dec 10, 2017Updated 8 years ago
- An Ansible library module that allows modifying json files without the use of copy, templates or assemble☆12Apr 1, 2020Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆22May 6, 2019Updated 7 years ago
- Evernote authentication strategy for Passport and Node.js.☆15Sep 17, 2017Updated 9 years ago
- [DEPRECATED]: now part of the https://github.com/libp2p/js-libp2p repo☆14Aug 23, 2019Updated 7 years ago
- Use ProtoTree to visually view the entire javascript prototype chain as a tree!☆11Mar 3, 2024Updated 2 years ago
- cron parser/generator☆12Jan 6, 2023Updated 3 years ago
- Whatever apt group's js from their scanbox framework☆11Jun 22, 2016Updated 10 years ago
- Fill automatically login and password fields when a registration form is displayed using bugmenot accounts.☆14Dec 9, 2012Updated 13 years ago