slebok / bibsleigh
The extensive approach to SLE bibliography
☆29Updated 4 years ago
Alternatives and similar repositories for bibsleigh:
Users that are interested in bibsleigh are comparing it to the libraries listed below
- Eclipse plugin that synthesizes real Java code☆26Updated 10 years ago
- A set of tools for extracting tokens and ASTs from code☆22Updated 6 years ago
- This is a prototype for overview of GitHub forks.☆23Updated last year
- Artifacts and other data for "Code Vectors: Understanding Programs Through Embedded Abstraced Symbolic Traces"☆22Updated 4 years ago
- Generates map in form of a graph from tags on StackExchange sites, e.g. StackOverflow.☆53Updated 10 years ago
- Real-time #SemanticWeb in <= 140 chars☆45Updated last year
- Final Year Masters Project: modal logic solver tableaux☆22Updated 2 years ago
- Flow graphs for Python☆25Updated 2 years ago
- REGEL: Regular Expression Generation from Examples and Language☆33Updated 2 years ago
- Tools, services and applications for source code analysis and search☆61Updated 9 years ago
- C# Data Extraction for "Learning to Represent Edits"☆26Updated 6 years ago
- MiniZinc documentation☆16Updated 2 years ago
- Perspectives on Data Science for Software Engineering☆60Updated last year
- Source code for the Naturalize project☆56Updated 9 years ago
- ☆10Updated 10 years ago
- A set of basic tools for manipulating SyGuS benchmarks☆22Updated last year
- ☆21Updated 4 years ago
- Some convenient natural language tools that build on NLTK.☆85Updated 10 years ago
- ☆16Updated 4 years ago
- ☆16Updated 7 months ago
- UML Class diagram reverse engineering tool☆14Updated 2 weeks ago
- ☆49Updated 5 years ago
- Supervised learning of morphology☆28Updated 8 years ago
- A Python API for the MiniSat and MiniCard constraint solvers.☆19Updated last year
- An emotion-polarity classifier specifically trained on developers' communication channels☆48Updated 5 years ago
- The semantics of Java in K☆19Updated 3 years ago
- OverCode's public repo (OverCode 2.0 is still a private repo and will hopefully be released soon). See http://people.csail.mit.edu/elg/ov…☆22Updated 8 years ago
- code2vec: Learning Distributed Representations of Code☆14Updated 6 years ago
- Specify and synthesize systems using symbolic algorithms☆47Updated 3 months ago
- FoLiA library for C++☆16Updated 3 weeks ago