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.
☆79Apr 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 8 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
- Group coding repository of PltCov, a tool to instrument ELF binaries for fuzzing with ngram coverage of imported APIs☆12Jan 18, 2022Updated 4 years ago
- Yet another Python project template.☆13Sep 13, 2024Updated last year
- A discord registration bot that can be used to register the participants in a specific tournament or competition reducing the work load f…☆14Mar 28, 2021Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Here, projects for python for beginners. My Instagram account is @_python.py_. i upload daily post and programs about python language. i …☆12Jan 24, 2021Updated 5 years ago
- My version of driller using Intel PIN and angrgdb. In "theory" can work with AFL in deferred and persistent mode.☆13Feb 10, 2019Updated 7 years ago
- ☆10May 24, 2021Updated 5 years ago
- ☆11Apr 27, 2020Updated 6 years ago
- Notebooks on Time series forecasting☆12Apr 19, 2019Updated 7 years ago
- FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems☆17Nov 3, 2024Updated last year
- backup of old blog at sciencemeetproductivity.tumblr.com☆18Aug 10, 2014Updated 12 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
- A spiffy theme for LaTex Beamer inspired by Rome☆12Sep 25, 2019Updated 6 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.
- CloudQuery Go SDK for source and destination plugins☆27Updated this week
- Binary Ninja Plugin for Generating Callgraphs☆18Jun 17, 2025Updated last year
- 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 11 months ago
- ☆17Feb 25, 2020Updated 6 years ago
- Neuro-Symbolic Hierarchical Rule Induction☆15Dec 31, 2022Updated 3 years ago
- Tarski - An AI Planning Modeling Framework☆73Dec 23, 2025Updated 8 months ago
- Planning through backpropagation using TensorFlow.☆16Oct 29, 2020Updated 5 years ago
- NL2Flow: A PDDL Interface to Flow Construction☆16Dec 4, 2025Updated 8 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A lightweight framework for the efficient parsing and manipulation of PDDL in lifted form.☆19Dec 17, 2025Updated 8 months ago
- ☆19Jul 8, 2021Updated 5 years ago
- Network Packet Tracer Library☆15Apr 1, 2024Updated 2 years ago
- K* search based implementation of top-k and top-quality planners☆19Aug 19, 2026Updated last week
- ☆10Jan 5, 2024Updated 2 years ago
- ☆11Mar 28, 2022Updated 4 years ago
- Just a repo for random tools we have developed related to vulnerability research and exploit development.☆25Nov 19, 2020Updated 5 years ago
- A machine learning library written from scratch - with a runtime switchable backend!☆13Jan 30, 2021Updated 5 years ago
- RuDaS: Synthetic Datasets for Rule Learning☆20Jun 21, 2022Updated 4 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Simple proxy program to allow exposing individual services to a Tailnet, and even to the Internet using Tailscale Funnel.☆15Updated this week
- A plan and library for studying to become a Data Analyst☆60Jul 28, 2021Updated 5 years ago
- a note taking and drawing app with a rich text editor supporting LaTeX and embeds.☆15Jun 19, 2022Updated 4 years ago
- A Meme generator website where you can change and customize images to create great memes😎.☆10Feb 2, 2022Updated 4 years ago
- The POPF planner from KCL planning group with some modifications to make it work with "modern" compilers...☆25Jul 28, 2026Updated last month
- Probabilistic Graphical Models in JAX☆18Oct 11, 2022Updated 3 years ago
- Official code for paper: Conservative objective models are a special kind of contrastive divergence-based energy model☆14Aug 15, 2023Updated 3 years ago