javiermtorres Goto Github PK

amnesiathedarkdescent

argstrat

Strategic Argumentation for Persuasion

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

downward

The Fast Downward domain-independent classical planning system

drl-nd

My solution notebooks for the Deep Reinforcement Learning Nanodegree by Udacity

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.

gtpyhop

A task-planning system based on Pyhop, but generalized to plan for both goals and tasks.

haskell-electron-app

Combining Electron and Haskell

huff

A fast-forward based planner for Haskell

hyper-haskell

The strongly hyped Haskell interpreter.

javiermtorres.github.io

kg-a2c

Goal driven language generation using knowledge graph A2C agents