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.
☆77Apr 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
- Scripts created to enhance the Hyperion experience on a Raspberry Pi setup. 🌈☆17Feb 22, 2020Updated 6 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
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A framework for static analysis of ROP exploits and programs☆41May 13, 2019Updated 7 years ago
- Black-box abm calibration kit by the Bank of Italy☆60Nov 17, 2025Updated 6 months ago
- XML parser for Final Cut Pro <xmeml> files with clipping API to make new sequences out of others☆23May 5, 2010Updated 16 years ago
- ☆32Mar 21, 2024Updated 2 years ago
- ☆15May 6, 2021Updated 5 years ago
- ☆10May 24, 2021Updated 5 years ago
- Slides and stuffs of the meetings during the 2018☆13Jan 18, 2022Updated 4 years ago
- Plan visualization for AI Planning. It includes Gantt chart, resource/object utilization swim-lane diagram, line plots for fluents and is…☆11Nov 29, 2024Updated last year
- A Coq tactic for proving multivariate inequalities using SDP solvers☆12Mar 26, 2026Updated 2 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Encrypted backup system, written in Rust.☆11Mar 2, 2017Updated 9 years ago
- Docker container for an OCaml + OPAM setup☆24Nov 28, 2016Updated 9 years ago
- 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
- NL2Flow: A PDDL Interface to Flow Construction☆15Dec 4, 2025Updated 6 months ago
- Benchmark Suite for Interpretable Rule Learning☆12Aug 23, 2020Updated 5 years ago
- Machine Learning (Beginners Hub), information(courses, books, cheat sheets, live sessions) related to machine learning, data science and …☆380May 19, 2023Updated 3 years ago
- ☆14Jan 21, 2024Updated 2 years ago
- A curated list of reinforcement learning in NLP. :-)☆21Oct 30, 2021Updated 4 years ago
- ☆10Jul 23, 2020Updated 5 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- 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
- Binary Ninja Plugin for Generating Callgraphs☆17Jun 17, 2025Updated 11 months ago
- Example files for the book SVG Text Layout☆19Oct 29, 2015Updated 10 years ago
- CloudQuery Go SDK for source and destination plugins☆27Jun 5, 2026Updated last week
- Few-shot Bayesian Imitation Learning with Policies as Logic over Programs☆21Oct 19, 2025Updated 7 months ago
- Probabilistic logic language for inference, planning and learning in static and dynamic domains☆15Feb 27, 2017Updated 9 years ago
- Telegram Bot that performs checks of the yararules.com ruleset☆13May 13, 2016Updated 10 years ago
- Repository of useful bookmarklets☆12Apr 9, 2025Updated last year
- Code that translates grammar into PDDL, runs a planner to produce multiple plans, translates plans into trainable lale pipelines and trai…☆19Sep 17, 2025Updated 8 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Lottery data analysis based on Mega Sena.☆14Aug 25, 2019Updated 6 years ago
- automated planning toolbox☆15Jun 5, 2017Updated 9 years ago
- ✏️ Clean up time-sucking sidebars on Stack Exchange websites.☆13Jan 11, 2021Updated 5 years ago
- This repository contains an AI agent built with LangGraph to calculate energy savings for solar panels. The project is designed for use w…☆18Sep 20, 2024Updated last year
- stan2tfp is a lightweight interface to the TensorFlow Probability backend of the Stan compiler. It provides the necessary objects and fun…☆25Jan 10, 2022Updated 4 years ago
- ☆15Mar 15, 2024Updated 2 years ago
- Add Text to Speech feature to webpages using JavaScript's Web Speech API☆12Apr 12, 2017Updated 9 years ago