NivenT/Theorem_Prover

Stars
1
Language
Common Lisp
Created almost 9 years ago
Updated almost 9 years ago

NivenT/Theorem_Prover

NivenT

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

(Very) simple automated theorem prover using resolution

REnforce

Reinforcement learning library written in Rust

RGB

RGB (Rust Game Boy) is a simple emulator for the original game boy

LISP-CAS

A simple computer algebra system I am working on.

music-downloader

Automatically downloads music

window_pong

Playing Pong with open windows on Ubuntu

jubilant-funicular

I think technically this is a game engine

nivent.github.io

Personal Website

UnblockMe

Automatically solves Unblock Me puzzles

Planet

WIP Planet hopping game

Evolving_Organisms

Attempting to "evolve" intelligent creatures using genetic algorithms

circguesser

Circle Counting Game

RLisp

Simple Lisp dialect written in Rust

seashell

Shell written in C. C-shell. seashell.

curly-succotash

Simple Chip-8 Emulator written in Haskell

utilities

A collection of potentially useful C++ classes

Travelling-Salesman

Results of attempting to tackle the travelling salesman problem

Brainfuck_AI

Using genetic algorithms to evolve programs written in brainfuck

SurrealAI

Game-playing AI using surreal numbers

Cryptography

Implementation of various cryptographic schemes

Tic-Tac-Toe

Tic-Tac-Toe AI using a variation of Q-learning

2040Fellows

Tech Assessment for my Code2040's Fellows Application

RusticTales

Interactive stories in your terminal (and no one else's. I made this just for You)