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 read.
☆78Apr 1, 2024Updated 2 years ago
Alternatives and similar repositories for my-bookshelf
Users that are interested in my-bookshelf are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- My Master's thesis. Reinforcement Learning for LTLf/LDLf goals.☆10Aug 25, 2018Updated 7 years ago
- This is a repository of scripts developed as part of the 2020 ENCMP100 Section B3 lecture taught at University of Alberta.☆10Apr 2, 2020Updated 6 years ago
- Page du cours preuves assistées par ordinateur 2021☆17May 16, 2025Updated last year
- A tool for LDLf translation to DFA and for LDLf synthesis.☆24Sep 22, 2023Updated 2 years ago
- This tool extracts CSS with source files for active styles and save the output to a JSON file☆18Mar 14, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A framework for static analysis of ROP exploits and programs☆41May 13, 2019Updated 7 years ago
- Tutorials for the various classes I teach in web design and programming.☆22Jun 8, 2025Updated last year
- radius is a fast binary emulation and symbolic execution framework using radare2☆47Aug 18, 2022Updated 3 years ago
- Plan visualization for AI Planning. It includes Gantt chart, resource/object utilization swim-lane diagram, line plots for fluents and is…☆12Nov 29, 2024Updated last year
- Slides and stuffs of the meetings during the 2018☆13Jan 18, 2022Updated 4 years ago
- ☆11Sep 5, 2022Updated 3 years ago
- a command line tool that let you express commands in natural language using openai api..☆40Dec 4, 2025Updated 7 months ago
- ☆11Apr 27, 2020Updated 6 years ago
- Highlight text and click the bookmarklet to search the text on several sites.☆10Mar 14, 2023Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Notebooks on Time series forecasting☆12Apr 19, 2019Updated 7 years ago
- Domain and problem PDDL parser in Python3 using ply.☆13Aug 21, 2018Updated 7 years ago
- A curated list of reinforcement learning in NLP. :-)☆21Oct 30, 2021Updated 4 years ago
- Source code for 'Beginning Adobe Animate CC' by TOM GREEN and Joseph Labrecque☆10May 18, 2018Updated 8 years ago
- reveal-md is great project. Improve your presentation even more with custom user scripts. Here is the place to find them.☆15Dec 7, 2023Updated 2 years ago
- automated planning toolbox☆15Jun 5, 2017Updated 9 years ago
- A simple Python Binary Decision Diagram (BDD) that outputs .dot files. It can also create minimal BDDs. Should be used mostly for educati…☆14Jan 8, 2014Updated 12 years ago
- Machine Learning algorithms implementation in Python from scratch.☆11Feb 10, 2019Updated 7 years ago
- A spiffy theme for LaTex Beamer inspired by Rome☆12Sep 25, 2019Updated 6 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Example files for the book SVG Text Layout☆19Oct 29, 2015Updated 10 years ago
- Collection of DBI evasion techniques☆16Jan 25, 2022Updated 4 years ago
- Few-shot Bayesian Imitation Learning with Policies as Logic over Programs☆21Oct 19, 2025Updated 9 months ago
- Telegram Bot that performs checks of the yararules.com ruleset☆13May 13, 2016Updated 10 years ago
- Code that translates grammar into PDDL, runs a planner to produce multiple plans, translates plans into trainable lale pipelines and trai…☆19Sep 17, 2025Updated 10 months ago
- ☆15Apr 1, 2019Updated 7 years ago
- Environment codebase for ICRA 2020 paper "Towards Practical Multi-object Manipulation using Relational Reinforcement Learning"☆14Jul 22, 2020Updated 6 years ago
- WORK IN PROGRESS☆11Feb 28, 2018Updated 8 years ago
- An opinionated starting point for Digital Garden content authoring.☆59Dec 14, 2022Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆17Jun 25, 2017Updated 9 years ago
- Tarski - An AI Planning Modeling Framework☆71Dec 23, 2025Updated 6 months ago
- Add Text to Speech feature to webpages using JavaScript's Web Speech API☆12Apr 12, 2017Updated 9 years ago
- Planning through backpropagation using TensorFlow.☆16Oct 29, 2020Updated 5 years ago
- Helm v3 chart that deploys CloudQuery to a Kubernetes cluster☆24Jul 10, 2026Updated last week
- A JavaScript Pomodoro Clock☆11Apr 23, 2019Updated 7 years ago
- A lightweight framework for the efficient parsing and manipulation of PDDL in lifted form.☆19Dec 17, 2025Updated 7 months ago