JavaScript Code Instrumenter
☆40May 23, 2025Updated last year
Alternatives and similar repositories for aran
Users that are interested in aran are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Generic static analysis framework☆22Dec 7, 2022Updated 3 years ago
- Distributed Shell: A way to replicate system administration commands across machines using Raft☆10Apr 23, 2015Updated 11 years ago
- Capture and replay execution traces of client-side web applications☆28May 31, 2013Updated 13 years ago
- Performant taint analysis for Node.js☆58Aug 7, 2024Updated last year
- ☆21Jun 3, 2019Updated 7 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.
- Applicative logic meta-programming using Clojure's core.logic against an Eclipse workspace.☆43Aug 26, 2021Updated 4 years ago
- Crawler based on a modified browser to detect online tracking.☆11Jul 19, 2023Updated 2 years ago
- Source code for the Observatory of Anonymity☆10Dec 5, 2022Updated 3 years ago
- The VeriFx automated verification language☆30Jun 5, 2026Updated 3 weeks ago
- The Juice package for circuits in artificial intelligence, both logic and probabilistic☆12Mar 8, 2022Updated 4 years ago
- Code for reproducing work of ICML 2019 paper: Memory-Optimal Direct Convolutions for Maximizing Classification Accuracy in Embedded Appli…☆12Jun 8, 2019Updated 7 years ago
- Rewriting Proxy for HTML and Javascript. Towards a Self-healing Web.☆13Jul 28, 2020Updated 5 years ago
- A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter☆208Feb 5, 2024Updated 2 years ago
- A web application server with built-in object capability security built on Node.js/Express☆15Oct 27, 2020Updated 5 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.
- ☆13Apr 17, 2025Updated last year
- A collection of tools for working with and analyzing Tracking Protection as implemented in Firefox☆19Apr 10, 2023Updated 3 years ago
- Investigating how COVID-19 shaped Anti-Asian Climate☆12Aug 12, 2021Updated 4 years ago
- Mozilla JavaScript Debugging Documentation☆37Apr 21, 2016Updated 10 years ago
- Cookie Crumbles: Breaking and Fixing Web Session Integrity☆24Aug 9, 2023Updated 2 years ago
- FM-index is the fastest full text search algorithm using a compressed index file. This is FM-index for JSX/JS/AMD/Common.js.☆11Nov 9, 2013Updated 12 years ago
- A little app I made that takes a text file and builds "Cards Against Humanity" cards from it as individual PNG files on your desktop, rea…☆10Jan 22, 2014Updated 12 years ago
- Node.js application - simple notes management using Express, Postgres, Objection.js, Docker, Socket.io, Bluebird Promises☆15Feb 10, 2017Updated 9 years ago
- Apartment management application using nodejs and postgres☆11Jul 12, 2017Updated 8 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.
- (Abstract) Abstract Machine Experiments using Scala☆36Jan 15, 2021Updated 5 years ago
- Reflective/DOM XSS scanner built on casperJS☆81Oct 21, 2014Updated 11 years ago
- the very same beer store implemented in various stacks. also, frontends and backends are interchangeable☆16Mar 19, 2023Updated 3 years ago
- Kalman filter implementation☆13May 6, 2018Updated 8 years ago
- Minimalistic implementation of Naiad paper "A Timely Dataflow System" in Scala☆12Jul 13, 2020Updated 5 years ago
- TypeScript AST templating library☆19Jan 4, 2023Updated 3 years ago
- utilities to build production command line apps☆22Sep 29, 2016Updated 9 years ago
- ☆28Jul 4, 2024Updated last year
- This repository contains the TLA+ specification of the ownership and the reliable commit protocols for transactions in Zeus work that app…☆20Jun 12, 2022Updated 4 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.
- Smelling smells using Deep Learning☆47Mar 2, 2021Updated 5 years ago
- 📝 "Synthesizing Benchmarks for Predictive Modeling" (🥇 CGO'17 Best Paper)☆22Feb 10, 2023Updated 3 years ago
- VerMFi: Verification tool for Masked implementations and Fault injection. Set of tools to evaluate resistance of secure hardware against …☆20Nov 18, 2019Updated 6 years ago
- A Om+core.async prototype of enterprise-style browser UIs.☆30Mar 27, 2015Updated 11 years ago
- Library to animate Om components☆47Jul 25, 2014Updated 11 years ago
- A library with extra functions for the dictionary type in elm core.☆13Dec 12, 2022Updated 3 years ago
- TypeScript package to ease interactions with Google's batchexecute batch RPC system☆15Sep 12, 2023Updated 2 years ago