Watches and analyzes code edits in the Eclipse IDE non-invasively
☆20Feb 18, 2014Updated 12 years ago
Alternatives and similar repositories for CodingSpectator
Users that are interested in CodingSpectator are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Simple comparison of Future/Promises APIs in Java, GPars, Google Guava, Akka and Finagle/Util.☆15May 20, 2012Updated 14 years ago
- A Scheme interpreter in asm.js☆15Sep 29, 2017Updated 9 years ago
- Find the Git commits you're looking for☆121Jan 26, 2023Updated 3 years ago
- ☆15Jan 9, 2013Updated 13 years ago
- ☆14Sep 8, 2014Updated 12 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.
- google app information ninja ,crawl google app information☆12Mar 1, 2015Updated 11 years ago
- Path expressions through graphlike structures for clojure using core.logic☆17Aug 9, 2013Updated 13 years ago
- Academic Website Template in Bootstrap 4.☆14Nov 28, 2025Updated 11 months ago
- facade for using WALA from Scala☆14Mar 29, 2017Updated 9 years ago
- EMF-Fragments is a persistance framework for large EMF-models. It persists a model as a set of larger fragments and not based on an objec…☆13Mar 16, 2016Updated 10 years ago
- A PLT Redex implementation of Featherweight Java☆16Oct 8, 2012Updated 14 years ago
- Relational implementation of the CESK machine☆21Jul 15, 2013Updated 13 years ago
- Code for my Code Injection presentation on JavaZone 2011☆12Jul 29, 2013Updated 13 years ago
- A model querying and transformation library supporting JGraLab and EMF☆25Jan 5, 2019Updated 7 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.
- Automatic repair system for Checkstyle errors based on machine learning. http://arxiv.org/pdf/1904.01754☆10Aug 13, 2022Updated 4 years ago
- This repository is the code implementing some classic algorithms in co-location pattern minning.☆13May 9, 2014Updated 12 years ago
- Approximate call graph builder for JavaScript☆25Mar 25, 2016Updated 10 years ago
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆31Nov 24, 2015Updated 10 years ago
- miniKanren in OCaml☆31May 5, 2023Updated 3 years ago
- A SOM Smalltalk implemented on top of Oracle's Truffle Framework☆39Updated this week
- This project has moved:☆31May 2, 2013Updated 13 years ago
- A POC implementation of muKanren using CSP (core.async)☆32May 2, 2014Updated 12 years ago
- A Declarative Theorem Prover for First-Order Classical Logic☆32Jun 14, 2024Updated 2 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.
- [ICSE '25] LLM Based Input Space Partitioning Testing for Library APIs☆14Jul 27, 2025Updated last year
- Static Jimple Slicer for Android Apps☆12Dec 2, 2021Updated 4 years ago
- ☆11Feb 3, 2016Updated 10 years ago
- Extensible stream pipelines with object algebras.☆27Apr 30, 2015Updated 11 years ago
- Jenkins ci-game plugin☆38Jun 13, 2023Updated 3 years ago
- Easy animate with a animate store☆11May 23, 2016Updated 10 years ago
- Standalone client-side web app for presenting Faux Pas diagnostics☆10Apr 9, 2015Updated 11 years ago
- A program slicer for Java, based on the system dependence graph (SDG).☆72Apr 15, 2026Updated 6 months ago
- Personal website☆15Jun 18, 2026Updated 4 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.
- Clojure library for serializing Clojure data using Kryo☆30Feb 12, 2016Updated 10 years ago
- A tool of collecting patch-related commits and parsing patches.☆12Dec 2, 2018Updated 7 years ago
- KITTeL/KoAT☆21Dec 19, 2018Updated 7 years ago
- Docker Logstash Integration☆48Aug 12, 2017Updated 9 years ago
- A mapreduce implementation of SLCT (http://ristov.users.sourceforge.net/slct/) using Disco.☆16Sep 20, 2011Updated 15 years ago
- CodeBERT based mutation testing tool.☆13Nov 10, 2025Updated 11 months ago
- The SchemaPin protocol for cryptographically signing and verifying AI agent tool schemas to prevent supply-chain attacks.☆16Oct 11, 2026Updated 2 weeks ago