Updated 2015-12-22 00:42:56 -05:00
Updated 2016-07-13 00:04:18 -04:00
Updated 2016-08-18 17:18:48 -04:00
John Slaney's MaGIC (Matrix Generator for Implication Connectives), a tool for logic research.
Updated 2017-10-20 10:41:42 -04:00
Public archive of sentenceworthy.com
Updated 2023-11-09 23:47:49 -05:00
Create a video camera with a different background
Updated 2023-11-09 23:49:20 -05: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
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
Tail Call Optimization Decorator for Python
Updated 2023-11-09 23:51:36 -05:00
An example of how to use Packer and Terraform to deploy minetest onto DigitalOcean using its Docker Compose configuration.
Updated 2023-11-09 23:51:55 -05:00
Reinforcement Learning Framework for PyTorch
Updated 2023-11-09 23:52:06 -05:00