Further explorations into Reinforcement learning with Deep Learning Networks
Updated 2023-11-09 23:53:37 -05:00
Example implementations of evolutionary algorithms
Updated 2023-11-09 23:52:41 -05:00
Updated 2015-12-22 00:42:56 -05:00
Align Equations Tetris Style
Updated 2023-11-09 23:50:47 -05:00
Provides a HTTP API for OpenAI Gym
Updated 2023-11-09 23:52:55 -05:00
Help with training an agent to play Atari games
Updated 2023-11-09 23:52:13 -05:00
A helper script to run and record OpenAI Gym interactions
Updated 2023-11-09 23:49:59 -05:00
A GNU Radio Server and QT Client to be able to play radio stations
Updated 2023-11-09 23:50:56 -05:00
Updated 2023-11-09 23:53:44 -05:00
Updated 2016-08-18 17:18:48 -04:00
An imperative style programming language originally based on the SLOTH programming language. Somewhat morphing into a different style as time goes on.
Updated 2023-11-09 23:53:06 -05:00
The Spectra Automated Planner for DCEC built on ShadowProver
Updated 2024-03-29 17:43:34 -04:00
Example axiom and problem files within the TPTP Format
Updated 2023-11-09 23:49:37 -05:00
Term Algebra for Equational Reasoning
Updated 2023-11-09 23:49:48 -05:00
Functional programming in bash
Updated 2023-11-09 23:51:23 -05:00
Create a video camera with a different background
Updated 2023-11-09 23:49:20 -05:00
Library for performing bootstrap hypothesis testing
Updated 2023-11-09 23:52:22 -05:00
Generate secure passwords you can actually remember!
Updated 2024-03-13 20:35:57 -04:00
Downloading applications from the AUR using Docker
Updated 2023-11-09 23:53:28 -05:00
Math I/O Graph Game
Updated 2023-11-09 23:50:10 -05:00