Skip to content
View spencerturkel's full-sized avatar
3 followers · 1 following

Achievements

Achievement: QuickdrawAchievement: Pull Shark

Achievements

Achievement: QuickdrawAchievement: Pull Shark

Block or report spencerturkel

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • online-checkers-platform Public

    USF Fall 2018 Software Engineering Project

    Vue MIT License Updated Nov 13, 2018

  • online-checkers-platform-api Public

    The API for the OnlineCheckersPlatform

    TypeScript MIT License Updated Nov 13, 2018

  • first-order-refutation-prover Public

    Project 2 of Computationally Modelling Reasoning at USF Fall 2018

    Python 2 MIT License Updated Oct 31, 2018

  • usf2018_reasoning_homework2 Public

    Proof verification tool for Fitch-style First-Order Logic.

    Python MIT License Updated Oct 12, 2018

  • usf2018_reasoning_project1 Public

    SAT solver using the DPLL algorithm, implemented in Python.

    Python 1 MIT License Updated Sep 26, 2018

  • NamelessUTLC Public

    Nameless Untyped Lambda Calculus - Coq implementation and theories

    Coq Updated May 17, 2018

  • hask-advent-of-code Public

    Haskell solutions to Advent of Code 2017

    Haskell BSD 3-Clause "New" or "Revised" License Updated Mar 6, 2018

  • conduit Public archive

    An implementation of realworld.io using React and Redux

    TypeScript Updated Jan 16, 2018

  • automata-visualizer Public archive

    USF COT4210 Automata Theory Fall 2017 - Final Project

    TypeScript Updated Nov 15, 2017

  • page-replacement-simulator Public

    USF COP4600 Fall 2017 Operating Systems Group Project By Spencer Turkel and Nicolas Hempe

    C++ Updated Nov 14, 2017

  • pandemic Public

    The board game Pandemic, written in haskell for learning purposes.

    Haskell MIT License Updated Dec 31, 2016