javiermtorres Goto Github PK

2017-planning-with-simulators

Online repository for the IJCAI 2017 paper "Purely Declarative Action Representations are Overrated: Classical Planning with Simulators"

amnesiathedarkdescent

argstrat

Strategic Argumentation for Persuasion

atp-haskell

Haskell version of the code from "Handbook of Practical Logic and Automated Reasoning"

autoascend

The first place solution for the NeurIPS 2021 Nethack Challenge -- https://www.aicrowd.com/challenges/neurips-2021-the-nethack-challenge

autosubgoalmcts_ptsp

Implementation of an MCTS algorithm that uses Quality Diversity to search much deeper than traditional algorithms.

azuregameserversscalingkubernetes

Scaling Dedicated Game Servers on Azure Kubernetes Service

black

Forked from BLACK (Bounded Lᴛʟ sAtisfiability ChecKer) to enable multimodal model checking

blob-world

A simple world for complex adventures

chapter12

Chapter 12: End-to-end Speech Recognition

chapter4

Chapter 4: Basics of Deep Learning

chapter7

Chapter 7: Recurrent Neural Networks

client-go

Go client for Kubernetes.

cudd

CUDD: CU Decision Diagram package - unofficial git mirror of http://vlsi.colorado.edu/~fabio/

cudd-ersatz

Interface to CUDD in the style of Ersatz

deep-learning-papers-reading-roadmap

Deep Learning papers reading roadmap for anyone who are eager to learn this amazing tech!

downward

The Fast Downward domain-independent classical planning system

drl-nd

My solution notebooks for the Deep Reinforcement Learning Nanodegree by Udacity

elixir-auth-google

👤Minimalist Google OAuth Authentication for Elixir Apps. Tested, Documented & Maintained. Setup in 5 mins. 🚀

elixir-auth-microsoft

🪟 Authenticate with your Microsoft Account in any Elixir App!

epistemicplanning

Solver for Epistemic Planning

ergw_aaa

Erlang AAA session implementation for erGW

erl-a-maze

Simple erlang sandbox environment for AI tests and scalability proofs of concept.

ewsc

Erlang WebSocket client library

fiascomatic

A setup generator for the game Fiasco

fightingice

fs

Main repository for the FS planner

geometricadventures

The incredible outdoor and indoor adventures of a group of polyhedrons and cubic volumes

gf-summerschool-2023

Code examples and contributions from GF Summer School 2023

go-gtp

GTP(GPRS Tunneling Protocol) implemented in pure Golang.