My Master's thesis. Reinforcement Learning for LTLf/LDLf goals.
☆10Aug 25, 2018Updated 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:
- This is a repository of scripts developed as part of the 2020 ENCMP100 Section B3 lecture taught at University of Alberta.☆10Apr 2, 2020Updated 5 years ago
- Yet another Python project template.☆13Sep 13, 2024Updated last year
- Collection of books/papers that I've read/I'm going to read/I would remember that they exist/It is unlikely that I'll read/I'll never rea…☆77Apr 1, 2024Updated last year
- A tool for LDLf translation to DFA and for LDLf synthesis.☆23Sep 22, 2023Updated 2 years ago
- ☆10Sep 5, 2022Updated 3 years ago
- Python for Web Scraping Workshop☆10Jun 4, 2021Updated 4 years ago
- Some Git utility scripts. The most useful one is "githelper", which is documented on the project website.☆37Sep 15, 2025Updated 5 months ago
- A framework for static analysis of ROP exploits and programs☆41May 13, 2019Updated 6 years ago
- Hackerank Programming Challenges☆10May 8, 2021Updated 4 years ago
- Programming in Python and Fundamentals of Software Development - Summer 2017☆15Jun 16, 2019Updated 6 years ago
- Fast, efficient, private cloud store☆10Apr 6, 2017Updated 8 years ago
- Repository containing lectures from 2023 Machine Learning course☆11Mar 14, 2023Updated 2 years ago
- 20 python libs and more: read me first!☆12Apr 11, 2024Updated last year
- Template extensions for the openapi-generator and swagger-codegen☆10Apr 9, 2021Updated 4 years ago
- NetlifyCMS bootstrapped from create-react-app using netlify-cms-proxy-server in development☆10Jan 7, 2023Updated 3 years ago
- Tools that run inside the guest☆11Jan 2, 2020Updated 6 years ago
- Browser Automation with Python and Selenium by Packt Publishing☆11Jan 30, 2023Updated 3 years ago
- Implementation of LTE downlink sniffer based on srsRAN library.☆12May 17, 2022Updated 3 years ago
- DEPRECATED: OpenSCAD like API for JSCAD (See the link below)☆14Jan 17, 2018Updated 8 years ago
- Small workflow for develop basic project☆10Aug 28, 2024Updated last year
- Slides and stuffs of the meetings during the 2018☆13Jan 18, 2022Updated 4 years ago
- Kubernetes login portal for both kubectl and the dashboard using OpenID Connect. Use groups from your assertion in RBAC policies to cont…☆12Jan 31, 2023Updated 3 years ago
- This repo contains code for specific quantum papers i've read. Check my Medium blogs for more.☆16Jun 27, 2024Updated last year
- AWS SQS extended client functionality from amazon-sqs-java-extended-client-lib☆15Nov 17, 2023Updated 2 years ago
- Administration and troubleshooting tools inside a docker container☆10May 2, 2023Updated 2 years ago
- Alternative to Python's module `cgitb` with template inspired by http://nette.org/ and https://www.djangoproject.com/☆14Mar 4, 2017Updated 8 years ago
- SSM Parameter Store cache library☆10Sep 12, 2018Updated 7 years ago
- err0 empowers all software teams to use Error Codes☆22Jan 24, 2026Updated last month
- NodeJS SDK to generate and validate digital signatures☆11Feb 12, 2026Updated 2 weeks ago
- Docker Compose with Kafka Lag Exporter + Grafana + Prometheus. Ready to ingest and viewing lag metrics.☆11Oct 30, 2025Updated 4 months ago
- Resource compiler, packages images, fonts, cursors, etc as compilable C source. Portable ANSI C.☆16Dec 17, 2024Updated last year
- Everything from Summer School 2022.☆14Jul 24, 2022Updated 3 years ago
- 📍 Wikipedia Around shows you Wikipedia articles that describe places, events, or points of interest that are near you.☆10Sep 15, 2025Updated 5 months ago
- ☆11May 24, 2017Updated 8 years ago
- An ongoing collection of awesome software, API libraries, checlists, best guidelines and resources and most important security countermea…☆14Nov 15, 2022Updated 3 years ago
- A text snippet manager you always needed. Download it here☆10Jul 7, 2018Updated 7 years ago
- Creating Secure REST APIs in Node.js without JWTs☆11Jan 7, 2023Updated 3 years ago
- A Python package designed for research in diffusion-based generative modeling☆31Nov 26, 2025Updated 3 months ago
- portable 2D game engine in C++14☆11May 9, 2017Updated 8 years ago