Inconsistent Code Detection for Java
☆11Nov 3, 2020Updated 5 years ago
Alternatives and similar repositories for bixie
Users that are interested in bixie are comparing it to the libraries listed below
Sorting:
- Inconsistent code detection for Java.☆14Jan 26, 2018Updated 8 years ago
- An extension to the Java type system to catch badly-behaving builder patterns☆11Feb 13, 2023Updated 3 years ago
- Static checker for Java☆87Jan 16, 2025Updated last year
- Tools for type annotations in Java☆40Jul 10, 2025Updated 8 months ago
- A tool for learning bug patterns.☆11Jul 19, 2016Updated 9 years ago
- ChangeScribe is an Eclipse plugin for generating commit messages (a.k.a., commit logs, commit notes) automatically. ChangeScribe uses as …☆10Jan 26, 2023Updated 3 years ago
- Static Program Analysis for Reliable Trusted Apps☆23Nov 29, 2018Updated 7 years ago
- ☆15Jun 1, 2021Updated 4 years ago
- ENCODERS (Edge Networking with Content-Oriented Declarative Enhanced Routing and Storage) is SRI’s content-based networking solution that…☆13Oct 20, 2023Updated 2 years ago
- An API server for Hackaru☆12Nov 18, 2022Updated 3 years ago
- ☆18Nov 24, 2025Updated 3 months ago
- Pluggable type-checking for Java☆27Updated this week
- An automatic testing tool for Java software☆25May 21, 2018Updated 7 years ago
- A visual testing tool to compare two web pages visually and generate the pixel difference they have.☆16Dec 14, 2015Updated 10 years ago
- Local server storage media played by mediaplayer android.☆12Sep 10, 2013Updated 12 years ago
- Django-Rest-Framework 教程☆10Feb 16, 2016Updated 10 years ago
- A collection of convenient commands for working with nix/nixpkgs☆12Aug 25, 2017Updated 8 years ago
- Build components for CloudMan, Galaxy on the Cloud, or Galaxy Server☆20Jun 27, 2017Updated 8 years ago
- Build "adb" and "fastboot" binaries without needing the full Android build environment☆17Apr 30, 2016Updated 9 years ago
- Graph-based incremental static analysis of ECMAScript 6 source code repositories☆20Feb 18, 2018Updated 8 years ago
- 2015年8月1日上海，SICP读书讨论、函数式程序设计及程序设计语言理论交流分享会。☆12Sep 1, 2015Updated 10 years ago
- Extra sauced bitwarden mobile app☆13Jul 29, 2024Updated last year
- Artifacts and other data for "Code Vectors: Understanding Programs Through Embedded Abstraced Symbolic Traces"☆22Jun 5, 2020Updated 5 years ago
- Easy Communication Protocol For Web Workers☆78Aug 5, 2024Updated last year
- An instructionally-designed, open-source introductory Python curriculum for university settings☆21Oct 24, 2021Updated 4 years ago
- Command line wrapper to interact with CodeGuru Reviewer☆23Sep 3, 2024Updated last year
- Metagenomics Pipeline Repository for January, 2015 NCBI/ADDS Hackathon at NIH☆10Oct 31, 2016Updated 9 years ago
- Generate flow charts from your code base.☆15Sep 14, 2015Updated 10 years ago
- An abstract-interpretation based static analyzer written in Scala.☆33Mar 23, 2022Updated 3 years ago
- Browse Ruby documentation inside Vim☆15Feb 28, 2012Updated 14 years ago
- ☆21Dec 17, 2016Updated 9 years ago
- Tool for Change Impact Analysis in JavaScript Web Applications☆10Sep 12, 2014Updated 11 years ago
- On-Line Encyclopedia of Integer Sequences gem☆17Feb 22, 2013Updated 13 years ago
- A java library to compute the difference between XML files☆14Oct 23, 2009Updated 16 years ago
- Python code examples for Amazon CodeGuru Reviewer☆24May 1, 2024Updated last year
- Code from PLDI '21 paper "Provable Repair of Deep Neural Networks."☆10Nov 26, 2022Updated 3 years ago
- Java code examples for Amazon CodeGuru Reviewer☆25Dec 14, 2023Updated 2 years ago
- A reimplementation of gherkin and cucumber for java based on antlr4 and junit☆11Jul 24, 2018Updated 7 years ago
- DataGenerators is a data generation package. It can use techniques for search and optimization to find effective data for uses such as te…☆13Jun 19, 2017Updated 8 years ago