Eclipse plugin that synthesizes real Java code
☆26Aug 20, 2014Updated 11 years ago
Alternatives and similar repositories for codehint
Users that are interested in codehint are comparing it to the libraries listed below
Sorting:
- HaVSA (Have-Saa) is a Haskell implementation of the Version Space Algebra Machine Learning technique described by Tessa Lau.☆12Jul 8, 2017Updated 8 years ago
- ☆16Nov 9, 2020Updated 5 years ago
- Tracking Responses to the "Reproducibility in Computer Science" Repository (http://reproducibility.cs.arizona.edu/)☆59Oct 2, 2014Updated 11 years ago
- A MiniKanren in Python☆36Jul 15, 2016Updated 9 years ago
- Implementation and evaluation data of the Concolic Walk heuristic for solving complex arithmetic path conditions.☆14Jul 11, 2014Updated 11 years ago
- A analysis tool for Ruby that adds optional static typing☆37Mar 11, 2011Updated 14 years ago
- Home for the WALi weighted automaton library and OpenNWA nested-word automaton library☆17Nov 28, 2018Updated 7 years ago
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆30Nov 24, 2015Updated 10 years ago
- Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.☆22Dec 17, 2021Updated 4 years ago
- language independent software composition and merging☆32Mar 25, 2017Updated 8 years ago
- Abstract interpreter for real-world application programs☆32May 25, 2013Updated 12 years ago
- SEViz (Symbolic Execution VisualIZer) is a tool for visualizing symbolic execution-based test generation☆20Nov 24, 2015Updated 10 years ago
- CodRep 2019 edition.☆20Nov 12, 2019Updated 6 years ago
- Dataset for programming language identification.☆24Mar 6, 2023Updated 2 years ago
- A(nother) Binary Analysis Framework☆30Jun 10, 2014Updated 11 years ago
- ☆29Sep 14, 2015Updated 10 years ago
- LLVM-based, flexible, live coverage instrumentation for C/C++ code☆45Jan 27, 2016Updated 10 years ago
- an attempt to implement miniKanren and microKanren in Python☆54Jul 16, 2014Updated 11 years ago
- Website for Learning from "Big Code"☆30Jun 19, 2021Updated 4 years ago
- This is an automated transformation inference tool that leverages a big code corpus to guide the abstraction of transformation patterns.☆29Jun 21, 2022Updated 3 years ago
- UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities☆33Feb 18, 2020Updated 6 years ago
- Euphony: a probabilistic model-guided program synthesizer☆27Nov 21, 2022Updated 3 years ago
- Create your PHP extension in C++, in a minute.☆71May 19, 2014Updated 11 years ago
- A Java version of the automatic program repair described by RSRepair and GenProg.☆11Jan 6, 2016Updated 10 years ago
- LitSift: Seamlessly search, sift, and export results from Semantic Scholar to BibTeX/CSV☆14Jan 24, 2026Updated last month
- A framework, data and configs for generating and building Tesseract OCR lang.traineddata model files, specifically for Japanese☆10Dec 9, 2013Updated 12 years ago
- Git mirror of http://hg.sagemath.org/sage-main/☆38Jul 12, 2012Updated 13 years ago
- A tool for analyzing LLVM bitcode using Datalog.☆101Oct 2, 2020Updated 5 years ago
- "Save as DAISY" add-in for Microsoft Word☆10Dec 22, 2025Updated 2 months ago
- A salesforce library designed to provide idiomatic clojure representations of salesforce data and metadata☆11Jan 14, 2020Updated 6 years ago
- (Labeled) Latent Dirichlet Allocation on a sentence level with Gibbs Sampling☆10Mar 27, 2014Updated 11 years ago
- SIGPLAN website☆13Updated this week
- ☆11Jul 20, 2021Updated 4 years ago
- Madek main web interface☆21Updated this week
- Speech ANDroid Apps☆20Jan 22, 2014Updated 12 years ago
- Focused Crawler for VT's CTRNet☆10May 13, 2013Updated 12 years ago
- Redis tcp map for postfix☆12Jun 28, 2024Updated last year
- Grecka is a python script to convert Greek to Greeklish based on ELOT 743☆12Aug 4, 2018Updated 7 years ago
- Neon lights in the night tonight and stars that shine in the open sky☆46Dec 17, 2023Updated 2 years ago