Beast code in Giters

Jared Corduan's repositories

CIPs

Language:JavaScriptCC-BY-4.025 80

charleston-lean-meetup

Language:Lean300

coloring_posets

Ph.D. thesis of Jared Corduan - Coloring Posets and Reverse Mathematics

Language:TeXGPL-3.01 20

lambda-calc-cofc

a talk given at the College of Charleston introducing the lambda Calculus talk

Language:TeX1 20

ramsey

Formalization of Ramsey Theory in Lean (work in progress)

Language:LeanLGPL-2.11 20

rubik-group

Rubik's Cube Group

Language:Haskell1 20

agda-lecture-notes

Agda lecture notes for the Functional Programming course at TU Delft

Language:TeX010

cardano-api

Cardano API

Language:HaskellApache-2.0000

haskell-vending-machine

Haskell implementation of a hypothetical Vending Machine modeled as a State Transition System.

Language:HaskellBSD-3-Clause010

JaredCorduan.github.io

personal website

Language:CSS02 2

dungeon_world_notes

000

jucs

jared's unofficial cardano scratchpad

020

mathlib

Lean mathematical components library

Language:LeanApache-2.0010

nkeys.py

NATS Keys for Python

Language:PythonApache-2.0000

pigeon-talk

slides for a talk given at the College of Charleston on 1st February 2018

Language:TeX020

rush_hour_solver

A command line utility to solve Rush Hour puzzles.

Language:Python020

sandbox

:alembic:

Language:Haskell02 5

teXnoCrat

This is a quickstart LaTeX setup.

Language:PythonGPL-3.0010

theorem_proving_in_lean

Theorem proving in Lean

Language:PythonApache-2.0010