Repositories list

• argv-transformer

  Public
  ARG-V automated program transformer

  Java

  •

  Apache License 2.0

  •1•0•7•1•Updated Dec 18, 2024Dec 18, 2024

• leetcode-cli

  Public
  A cli tool to enjoy leetcode!

  JavaScript

  •

  MIT License

  •457•0•0•0•Updated Nov 4, 2024Nov 4, 2024

• argv-www

  Public
  ARG-V website

  Python

  •

  Apache License 2.0

  •1•1•7•0•Updated Oct 9, 2024Oct 9, 2024

• kotlin-inference-study

  Public
  Python

  •

  Apache License 2.0

  •0•0•1•0•Updated Aug 15, 2024Aug 15, 2024

• Boidae

  Public
  Boidae: Your Personal Mining Platform

  Shell

  •

  Apache License 2.0

  •0•1•0•0•Updated Apr 3, 2024Apr 3, 2024

• python-paradigms

  Public
  Replication package for "An Exploratory Study on the Predominant Programming Paradigms in Python Code"

  Python

  •

  Creative Commons Attribution 4.0 International

  •0•0•0•0•Updated Sep 5, 2022Sep 5, 2022

• py-classify-tests

  Public
  Python

  •0•0•0•0•Updated Jan 13, 2022Jan 13, 2022

• msr21-timestudy

  Public
  Replication package for the MSR'21 paper "Escaping the Time Pit: Pitfalls and Guidelines for Using Time-Based Git Data"

  Shell

  •

  Creative Commons Attribution 4.0 International

  •0•0•0•0•Updated Aug 18, 2021Aug 18, 2021

• bese

  Public
  International Workshop on Automated Specification Inference

  HTML

  •1•0•0•0•Updated Mar 12, 2019Mar 12, 2019

• TestShadowTypes

  Public
  Java

  •

  Apache License 2.0

  •1•0•0•0•Updated Apr 3, 2017Apr 3, 2017

• Sizzle

  Public
  A compiler and runtime for Google's Sawzall language, optimized for Hadoop

  Java

  •

  Apache License 2.0

  •4•0•0•0•Updated Aug 27, 2012Aug 27, 2012