Alternatives and similar repositories for codehint

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

• jjhenkel / code-vectors-artifact
  Artifacts and other data for "Code Vectors: Understanding Programs Through Embedded Abstraced Symbolic Traces"
  ☆22Updated 5 years ago
• osl / concolic-walk
  Implementation and evaluation data of the Concolic Walk heuristic for solving complex arithmetic path conditions.
  ☆14Updated 11 years ago
• dslab-epfl / cloud9
  The Cloud9 main repository
  ☆52Updated 11 years ago
• jandom-devel / Jandom
  An abstract-interpretation based static analyzer written in Scala.
  ☆33Updated 3 years ago
• SRA-SiliconValley / jalangi
  Available for legacy purposes. New users please see Jalangi2 https://github.com/Samsung/jalangi2
  ☆123Updated 10 years ago
• themaplelab / averroes
  Java bytecode generator for sound and precise partial program analysis
  ☆24Updated 4 years ago
• WaliDev / WALi-OpenNWA
  Home for the WALi weighted automaton library and OpenNWA nested-word automaton library
  ☆18Updated 6 years ago
• dblotsky / stringfuzz
  Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.
  ☆21Updated 3 years ago
• plast-lab / cclyzer
  A tool for analyzing LLVM bitcode using Datalog.
  ☆100Updated 4 years ago
• martinschaef / bixie
  Inconsistent Code Detection for Java
  ☆11Updated 4 years ago
• msv-lab / angelix
  Semantic program repair system for C programs
  ☆100Updated 2 years ago
• soundiness / soundiness.github.io
  ☆11Updated 6 months ago
• qingkaishi / canary
  A unification-based alias analysis and related tools
  ☆34Updated 9 months ago
• ProgramRepair / SearchRepair
  The SearchRepair automated C program repair tool (see http://people.cs.umass.edu/~brun/pubs/pubs/Ke15ase.pdf)
  ☆26Updated 6 years ago
• squaresLab / genprog-code
  GenProg: heuristic, GP-based automatic program repair for C.
  ☆96Updated 3 years ago
• amaurremi / IDE
  Interprocedural Distributive Environment algorithm implementation
  ☆16Updated 10 years ago
• karelklic / canal
  Abstract interpreter for real-world application programs
  ☆32Updated 12 years ago
• PRL-PRG / dejavu-artifact
  Artifact for the OOPSLA 17 DejaVu Paper
  ☆10Updated 7 years ago
• mast-group / tassal
  Tree-based Autofolding Software Summarization Algorithm
  ☆42Updated 8 years ago
• travitch / llvm-analysis
  A library for analyzing LLVM bitcode in Haskell
  ☆44Updated 10 years ago
• shriram / repro-in-cs
  Tracking Responses to the "Reproducibility in Computer Science" Repository (http://reproducibility.cs.arizona.edu/)
  ☆58Updated 10 years ago
• squaresLab / footpatch
  ☆15Updated 5 years ago
• srcML / srcSlice
  Lightweight tool for slicing
  ☆35Updated this week
• mast-group / api-mining
  Probabilistic API Mining
  ☆53Updated 7 years ago
• ali-ghanbari / prapr-sc
  Official repository for PraPR source code
  ☆14Updated 4 years ago
• DeepTyper / DeepTyper
  ☆49Updated 5 years ago
• mast-group / naturalize
  Source code for the Naturalize project
  ☆56Updated 9 years ago
• jirislaby / LLVMSlicer
  Static Slicer for LLVM
  ☆67Updated 9 years ago
• squaresLab / Darjeeling
  Language-independent, search-based program repair -- just your cup of tea! ☕
  ☆29Updated last year
• renatahodovan / picireny
  Hierarchical Delta Debugging Framework
  ☆59Updated 6 months ago