Top Rating
- Top Contributors
  Discover the Top Open Source contributors by country or by language
- Interviews
  Discover real stories from Open Source developers
Discover

Discover your Favorite Language
Discover the top trending repositories and projects on Github. Explore the latest trends in your preferred languages.

F#

Swift

Dart

Kotlin

Ruby

Perl

C#

Erlang

More Languages
Awesome

Awesome repositories
Discover the most awesome repositories and projects of your favorite languages. Inspired by the Awesome-* lists trend in GitHub.

Dart

Elixir

Go

Lua

Shell

Crystal

Java

Swift

More Languages
By Country

Rankings by Country
Discover the community of talented open source contributors in each country.

🇨🇿 Czechia

🇳🇱 Netherlands

🇧🇯 Benin

🇵🇬 Papua New Guinea

🇼🇸 Samoa

🇨🇱 Chile

🇻🇪 Venezuela

🇦🇽 Åland Islands

All Countries Compare Countries

joshuacrotts/Natural-Deduction-Theorem-Prover

Stars
1
Language
Java
License
MIT License
Created over 3 years ago
Updated over 3 years ago

joshuacrotts/Natural-Deduction-Theorem-Prover

joshuacrotts

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

This is a research project focusing on natural deduction theorem proving, and coming up with an optimal algorithm for both propositional and first-order predicate logic (and perhaps even modal). This is pulled directly from FLAT for now.

brick-breaker

SDL-Brick-Breaker is a remake of the original Brick Breaker arcade game, written in C with SDL.

raycaster

A small raycasting engine demo in Java. This uses my Theta game library.

logic-learning-assistance-tool

This is the repository for our CSC-490 project at UNCG in the Spring 2021 semester.

castlevania-legion

Castlevania - Legion was a game developed for my AP Computer Science Principles final project. It is the successor to the original Castlevania game that I wrote, which is a remake of the Castlevania game on NES.

c-standards

C-Standards is the C version of my Standards library, originally written in Java.

Generic-Space-Shooter

This is a remake/mash-up of two old classic Arcade games: Galaga, and Space Invaders. It's not finished nor polished, but it's the best I could do in under an hour. I used my Standards library. Enjoy!

formal-logic-aiding-tutor

This is an extension of LLAT (the Logic-Learning Assistance Tool) which aims to improve its pedagogical value and UI, rather than being a mere solution provider.

littlec-compiler

A small compiler for the LittleC programming language.

matrix-chain-order-solver

A simple implementation of the matrix multiplication algorithm using dynamic-programming.

c212-f23

This is a repository for all code done in my C212 course in Fall 2023.

standards

Standards is the new (and revived) version of the former Standards 1.0/2.0 library. It is based in Java, and includes all the basic materials and code necessary to create a basic game.

software-engineering-ethics-debater

AI and Software Engineering Ethics Argumentation System

networking-tools

Principles of Computer Networks tools.

multithreaded-chat-server

This is a multithreaded chat server implemented in C, with a nice user-interface.

network-packet-simulator

CSC - 677 - Fall 2020 at UNCG.

deterministic-pushdown-automata-parser

This is a deterministic pushdown automata project for my Theory of Computation course.

theta-game-engine

Theta is a simple, Java swing-based library that abstracts the complexities and intricacies that go into not only game development, but also graphical user interface development. This is a successor to my Java Standards library.

Arcadia

Arcadia is a simple remake of the awesome flash game "Arcadia - REMIX".

Cpp-Tutorials

This is a repository for the information and code in the data structures & algorithms discord.

Hash-Table-C

This is a small project following a tutorial on implementing the hash table data structure in C.

joshuacrotts

A repo about me, my work, and what I am, other than the fact that I am human.

raymarcher

A small raymarching demo in Java.

QuadTreeJava

This is a simple implementation of the QuadTree data structure in Java.

micro-scheme

This is a repository of my Scheme interpreter written in Java with ANTLR.

fractal-generator

Work-in-progress fractal generator with my Standards library.

tic-tac-toe

A TicTacToe game implemented with the minimax algorithm.

lock-out-protocol

Lock Out Protocol is a game written for my software engineering course at UNC Greensboro for the Fall 2019 semester. Java was the programming language of choice.

space-shooter

I've always wanted to dabble in SDL with C, so this what I have come up with for now.

breakout

This was my AP Computer Science Principles Create Performance Task: a clone of the old Arcade Breakout. It's finalized at this point; it could use more work and levels, but I believe it to be quite polished as for what it was intended to be. I loved making it, and it was all from scratch code-wise, with the exception of a few flaws I had to fix with the Internet's help, as well as the images and audio files.

deterministic-finite-automaton-parser

Deterministic Finite Automata parser for my Theory of Computation class.

cek-machine

This is a CEK machine implementation in the Java programming language for a superset of the lambda calculus.

Chat-Application

Local hosting java chat application (with a server and client).

masters-thesis

This is a repository for my Master's thesis LaTeX source.

Hangman

Simple hangman game made with my lovely fiance.

csc-230-uncg-f18

This is an archive repository of my assignments in CSC-230.

codingbat-string3-solutions

CodingBat String3 Solutions

CSC-261-A4Q9

Ninth question in Assignment 4, using scores for three sports. Practices multiplying and dividing.

c-shell

This project is based off a C-based tutorial on how to create a shell that reads, parses, and executes commands through the terminal.

batch-file-renamer

Renames files that share a common prefix and suffix in a directory.

racket-compiler

This is a repository for the Racket compiler in the IU compilers course.

terminal-solitaire

A small text-based implementation of solitaire in C.

dijkstra-viewer

A small application that, using my Theta library as the graphical component, lets users draw undirected graphs and find the shortest path using Dijkstra's algorithm.

blackjack-original

SFML-Tests

Test setup for SFML - to make the project, just clone the repository.

Prolog-Introduction

Slow and steady introduction to the terrifying and horrific world of Prolog.

c-pthreads

This is a small repository of my beginner's work with pthreads in C.

VSC-Test

asteroids

A clone of the original Asteroids game with improved graphics in C with SDL.

C-Database

This is a program I am writing in C to illustrate the basic fundamentals of database design. I am following a tutorial online, so most of the source code is copied from there, but it still showcases the work.

CSC-261-A5Q5

Computer Architecture and Assembly Programming - CSC-261: Assignment 5, Question 5

joshuacrotts.github.io

Website to showcase projects, repositories, and other miscellaneous information.

pong

This is yet another Pong game, written in C with SDL. The only difference is that this version uses my C-Standards library.

csc-330-uncg-s19

This is an archive of all my CSC-330 assignments.

C-Text-Editor

Simple text-editor written in lower-level C.

Win32-Tests

Tests of the Win32 C API.

conways-game-of-life

This is a small, quick yet effective implementation of Conway's Game of Life with Java and Swing.

CSC-471-Website-Project

A simple project representing a company with an employee database. Users can insert, update, delete and view records.

c-session-demos-uncg-s22

This is the repository for all CSC 362/462/662 C programming demos.

SFML-Bouncing-Balls

This is my first attempt at an SFML project; it's a simulation of bouncing balls.

brick-breaker-very-fast

This is a very fast clone of the old arcade game Brick Breaker in Java. The clone is not a good representation of many Java attributes and styles for programming; I did this all in under an hour and without any help of libraries or the internet even.

blindify

Blind grading made simple and efficient.

SQL-Graphical-User-Interface

This is a very small GUI for interfacing with a [remote] SQL database. It is not clean nor complete as of now.

teaching-java

My Java notes for C212.

SimpleiOSCalculator

A small calculator I made based on a Queue (FIFO) in Swift.

super-mario-bros-java

A small Super Mario Bros remake in Java