marfvr / master-thesisLinks
My Master's thesis. Reinforcement Learning for LTLf/LDLf goals.
☆10Updated 7 years ago
Alternatives and similar repositories for master-thesis
Users that are interested in master-thesis are comparing it to the libraries listed below
Sorting:
- Language-independent, search-based program repair -- just your cup of tea! ☕☆29Updated last year
- Knowledge representation and expert systems examples☆54Updated 4 years ago
- Keep your bugs contained. A platform for studying historical software bugs.☆69Updated last year
- Projects based on Machine Learning☆10Updated 5 years ago
- Clever @ Ubisoft MTL is looking for new interns and permanent members. Take the test now.☆10Updated 5 years ago
- Advanced similarity and duplicate source code at scale.☆56Updated 6 years ago
- Project page for "The Debugging Book"☆270Updated 3 months ago
- A generic AST generator for parser development.☆33Updated 6 years ago
- Smelling smells using Deep Learning☆47Updated 4 years ago
- Analyzing GitHub with BigQuery and other tools☆200Updated 5 years ago
- "A photon or an electron is not a thing, it is a description of a relationship." ― R. A. Delmonico☆14Updated 5 years ago
- a contextual search engine for software packages built on import2vec embeddings (https://www.code-compass.com)☆38Updated 3 weeks ago
- Queries to generate correctly formatted dbdiagram.io DDL☆19Updated 6 years ago
- Short choose your own adventure/story game☆12Updated 8 years ago
- A simple plagiarism detection tool for python code☆189Updated 2 years ago
- Convert source code into numerical tokens☆65Updated 2 years ago
- MLonCode community effort to implement Learning Distributed Representations of Code (https://arxiv.org/pdf/1803.09473.pdf)☆39Updated 7 years ago
- ☆11Updated 3 years ago
- Secret Recipes of the Python Ninja, published by Packt☆24Updated 3 years ago
- Critical Success Factor (CSF) tutorial☆19Updated 9 months ago
- Hands-On Continuous Integration and Automation with Jenkins [Video], Published by Packt☆11Updated 2 years ago
- A System for Debloating C/C++ Programs☆31Updated 4 years ago
- GitHub Action to autograde projects based on a configurable set of metrics☆30Updated last week
- CD4Py: Code De-Duplication for Python☆23Updated 5 years ago
- Pyc-cfg is a pure python control flow graph builder for almost all Ansi C programming language.☆56Updated 8 years ago
- A lightweight Docker image written in Python 3 to post tweets as a service with AI models pretrained with GPT-2 based on Twitter data☆15Updated last year
- An Automata Learning Library Written in Python☆206Updated 2 weeks ago
- Generic, modular and configurable formal verification framework supporting various formalisms and algorithms☆61Updated last week
- Source code management → notes and ideas → mono-repos, trunk-based-development, etc.☆26Updated 9 months ago
- Python3 control flow graph generator☆207Updated 3 years ago