Pinned Repositories
2017-planning-with-simulators
Online repository for the IJCAI 2017 paper "Purely Declarative Action Representations are Overrated: Classical Planning with Simulators"
ADAS
Automated Design of Agentic Systems
AmnesiaTheDarkDescent
argstrat
Strategic Argumentation for Persuasion
atp-haskell
Haskell version of the code from "Handbook of Practical Logic and Automated Reasoning"
Blob-World
A simple world for complex adventures
downward
The Fast Downward domain-independent classical planning system
ttd_example
Example for the time travelling debugger
javiermtorres's Repositories
javiermtorres/ADAS
Automated Design of Agentic Systems
javiermtorres/atp-haskell
Haskell version of the code from "Handbook of Practical Logic and Automated Reasoning"
javiermtorres/azuregameserversscalingkubernetes
Scaling Dedicated Game Servers on Azure Kubernetes Service
javiermtorres/black
Forked from BLACK (Bounded Lᴛʟ sAtisfiability ChecKer) to enable multimodal model checking
javiermtorres/client-go
Go client for Kubernetes.
javiermtorres/autoascend
The first place solution for the NeurIPS 2021 Nethack Challenge -- https://www.aicrowd.com/challenges/neurips-2021-the-nethack-challenge
javiermtorres/Deep-Learning-Papers-Reading-Roadmap
Deep Learning papers reading roadmap for anyone who are eager to learn this amazing tech!
javiermtorres/drl-nd
My solution notebooks for the Deep Reinforcement Learning Nanodegree by Udacity
javiermtorres/elixir-auth-google
👤Minimalist Google OAuth Authentication for Elixir Apps. Tested, Documented & Maintained. Setup in 5 mins. 🚀
javiermtorres/elixir-auth-microsoft
🪟 Authenticate with your Microsoft Account in any Elixir App!
javiermtorres/ergw_aaa
Erlang AAA session implementation for erGW
javiermtorres/gf-summerschool-2023
Code examples and contributions from GF Summer School 2023
javiermtorres/go-gtp
GTP(GPRS Tunneling Protocol) implemented in pure Golang.
javiermtorres/inferno-os
Inferno® is a distributed operating system. Inferno represents services and resources in a file-like name hierarchy, including devices, network and protocol interfaces, dynamic data sources, and services.Applications are written in a concurrent programming language, Limbo.
javiermtorres/kube-vxlan-controller
javiermtorres/LNN
A `Neural = Symbolic` framework for sound and complete weighted real-value logic
javiermtorres/mamcts
Multi-agent Monte Carlo Tree Search implementation in C++
javiermtorres/MEPK
A General Multi-agent Epistemic Planner Based on Higher-order Belief Change
javiermtorres/MindMaker
MindMaker UE4 Machine Learning Toolkit
javiermtorres/ml-agents
Unity Machine Learning Agents Toolkit
javiermtorres/mwind-dialogue
NLP analysis of dialogues in Morrowind
javiermtorres/open_spiel
OpenSpiel is a collection of environments and algorithms for research in general reinforcement learning and search/planning in games.
javiermtorres/opentelemetry-erlang
OpenTelemetry Erlang SDK
javiermtorres/planner-for-relevant-policies
javiermtorres/planner-mcts
Behavior planners based on single- and multi-agent Monte Carlo Tree Search
javiermtorres/planutils
General library for setting up linux-based environments for developing, running, and evaluating planners.
javiermtorres/rl-algo-impls
Implementations of reinforcement learning algorithms
javiermtorres/SMCDEL
A symbolic model checker for Dynamic Epistemic Logic.
javiermtorres/Stealth-Simulator
javiermtorres/TabletopGames