Joshua Crotts's repositories
brick-breaker
SDL-Brick-Breaker is a remake of the original Brick Breaker arcade game, written in C with SDL.
logic-learning-assistance-tool
This is the repository for our CSC-490 project at UNCG in the Spring 2021 semester.
c-standards
C-Standards is the C version of my Standards library, originally written in Java.
littlec-compiler
A small compiler for the LittleC programming language.
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.
joshuacrotts
A repo about me, my work, and what I am, other than the fact that I am human.
micro-scheme
This is a repository of my Scheme interpreter written in Java with ANTLR.
multithreaded-chat-server
This is a multithreaded chat server implemented in C, with a nice user-interface.
networking-tools
Principles of Computer Networks tools.
raymarcher
A small raymarching demo in Java.
space-shooter
I've always wanted to dabble in SDL with C, so this what I have come up with for now.
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.
tic-tac-toe
A TicTacToe game implemented with the minimax algorithm.
c-session-demos-uncg-s22
This is the repository for all CSC 362/462/662 C programming demos.
cek-machine
This is a CEK machine implementation in the Java programming language for a superset of the lambda calculus.
Essentials-of-Compilation
A book about compiling Racket and Python to x86-64 assembly
joshuacrotts.github.io
Website to showcase projects, repositories, and other miscellaneous information.
masters-thesis
This is a repository for my Master's thesis LaTeX source.
c212-f24
This is a repository for all code done in my C212 course in Fall 2024.
course-web-page-spring-2024
Course web page for IU Spring 2024
fsharp-projects
This is a repository of my basic F# code.
quine-resolver
A resolver for propositional logic schemata/well-formed formulas using Quine’s method of truth value analysis.
raycaster-haskell
This is a raycaster written in Haskell with SDL2.
wescheme-js
wescheme javascript compiler
wjbowman
The source for "Compiling with Dependent Types" (my dissertation)