SRI-CSL/bixie external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

SRI-CSL/bixie

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/SRI-CSL/bixie)

Close

SRI-CSL / bixieView on GitHubMore

• External links
• Readme badge

Inconsistent code detection for Java.

☆14Jan 26, 2018Updated 8 years ago

Alternatives and similar repositories for bixie

Users that are interested in bixie are comparing it to the libraries listed below

• cuplv / thresher

  View on GitHub
  Static heap reachability analysis for Java bytecode and Android memory leak finder.
  ☆32Oct 25, 2014Updated 11 years ago
• aws / aws-codeguru-cli

  View on GitHub
  Command line wrapper to interact with CodeGuru Reviewer
  ☆23Sep 3, 2024Updated last year
• jandom-devel / Jandom

  View on GitHub
  An abstract-interpretation based static analyzer written in Scala.
  ☆33Mar 23, 2022Updated 3 years ago
• Java-Techie-jt / spring-boot-twilio

  View on GitHub
  ☆11Sep 26, 2021Updated 4 years ago
• danielnixon / playwarts

  View on GitHub
  WartRemover warts for Play Framework.
  ☆23Nov 30, 2017Updated 8 years ago
• JhonathanRibeiro / Cadastro-de-clientes-e-fornecedores

  View on GitHub
  CRUD básico em PHP com um sistema de cadastro de clientes.
  ☆13May 19, 2021Updated 4 years ago
• sunnygkp10 / Online-diary

  View on GitHub
  Online diary is a PHP app by which you can write your feeling and keep it private or share with people and you can also read other post o…
  ☆10Jul 5, 2015Updated 10 years ago
• acieroid / scala-am

  View on GitHub
  (Abstract) Abstract Machine Experiments using Scala
  ☆36Jan 15, 2021Updated 5 years ago
• LouisTheXIV / Website-Bruteforcer

  View on GitHub
  ☆15Aug 21, 2021Updated 4 years ago
• iagocavalcante / node-tutorial

  View on GitHub
  ☆11Feb 21, 2026Updated last week
• SensorsIot / Dietpi-Helpers

  View on GitHub
  intern
  ☆10Sep 25, 2018Updated 7 years ago
• hacker-gpt / hacker-gpt

  View on GitHub
  ☆11Aug 17, 2025Updated 6 months ago
• FarmerAbdulAlim / learn-react-by-building-50-projects

  View on GitHub
  50 React projects for beginners from easy to hard. Practice all of these projects to excel your React skills.
  ☆12Sep 5, 2022Updated 3 years ago
• kleberandrade / calculadora-imc-aulas-flutter

  View on GitHub
  Código fonte da calculadora de IMC
  ☆13Oct 16, 2019Updated 6 years ago
• emstlk / nacl4s

  View on GitHub
  Scala implementation of Networking and Cryptography (NaCl) library
  ☆31Jun 23, 2015Updated 10 years ago
• TomasMikula / freeless

  View on GitHub
  Alternative to Free monads
  ☆34Oct 15, 2016Updated 9 years ago
• jayhorn / jayhorn

  View on GitHub
  Static checker for Java
  ☆87Jan 16, 2025Updated last year
• nil0x42 / scripts

  View on GitHub
  Bash & Python scripts for daily life
  ☆16Nov 27, 2018Updated 7 years ago
• marcel-dempers / k8s-build-your-own

  View on GitHub
  ☆11Mar 12, 2020Updated 5 years ago
• neuroprod / balancingRobot

  View on GitHub
  ☆10Dec 7, 2015Updated 10 years ago
• osgufers / osgufers.github.io

  View on GitHub
  Blog do grupo gufers
  ☆12Sep 30, 2022Updated 3 years ago
• Neo23x0 / YARA-rules

  View on GitHub
  Some YARA rules i will add from time to time
  ☆12May 31, 2019Updated 6 years ago
• outr / media4s

  View on GitHub
  Scala command-line wrapper around ffmpeg, ffprobe, ImageMagick, and other tools relating to media.
  ☆36Dec 21, 2024Updated last year
• pwittchen / dockerfiles-java

  View on GitHub
  various docker images with java
  ☆11Oct 5, 2019Updated 6 years ago
• dataprofessor / basketball-heroku

  View on GitHub
  ☆10Aug 12, 2024Updated last year
• FEDEVEL / openrex-linux-3.14

  View on GitHub
  ☆11Jan 31, 2017Updated 9 years ago
• SensorsIot / TTN-World-Record-Robot

  View on GitHub
  ☆10May 9, 2019Updated 6 years ago
• SensorsIot / Pre-Compiler-Directives

  View on GitHub
  ☆10Feb 25, 2019Updated 7 years ago
• kidmirage / KENBAK-2-5-Build-Files

  View on GitHub
  For the 2:5 Scale KENBAK-1 Personal Computer Reproduction
  ☆12Jul 6, 2025Updated 7 months ago
• larsrh / libisabelle

  View on GitHub
  A Scala library which talks to Isabelle (DISCONTINUED)
  ☆38Sep 25, 2020Updated 5 years ago
• S3cur3Th1sSh1t / EmpEISDecrypt

  View on GitHub
  Decrypt Matrix42 Empirum /EIS Passwords
  ☆14Mar 31, 2021Updated 4 years ago
• M507 / Android-Tester-Panel-App

  View on GitHub
  It provides configurable shortcuts to help make the pre-qual/testing process more efficient.
  ☆11Nov 19, 2022Updated 3 years ago
• neuroprod / kinectHair

  View on GitHub
  ☆24Aug 8, 2012Updated 13 years ago
• Neo23x0 / neolog

  View on GitHub
  Windows Syslog Command Line Client
  ☆15Nov 21, 2012Updated 13 years ago
• arguslab / Argus-SAF-playground

  View on GitHub
  Learning playground for Argus-SAF
  ☆10Dec 27, 2018Updated 7 years ago
• php-ai / php-ml-docs

  View on GitHub
  ☆11Jan 14, 2023Updated 3 years ago
• dmalvia / React_TypeScript_Notes_App

  View on GitHub
  ☆14Oct 17, 2021Updated 4 years ago
• jonludlam / js_top_worker

  View on GitHub
  Javascript toplevel worker
  ☆14Feb 5, 2026Updated 3 weeks ago
• ltb-project / openldap-deb

  View on GitHub
  Debian packages for OpenLDAP
  ☆14Jan 30, 2026Updated last month