JaredCorduan/coloring_posets
Ph.D. thesis of Jared Corduan - Coloring Posets and Reverse Mathematics
Repositories
JaredCorduan/cardano-ledger
The ledger implementation and specifications of the Cardano blockchain.
JaredCorduan/ww-bfr
JaredCorduan/ww-generic-wyrm-game
JaredCorduan/ww-lasers-and-feelings
JaredCorduan/JaredCorduan.github.io
personal website
JaredCorduan/andryusha
A small, readable Markov chain name generator
JaredCorduan/lexicon-and-liches
A D&D-themed Semantle clone. Guess the secret word using word2vec trained on the three core 5e (2014) rulebooks.
JaredCorduan/pyMarkovNameGenerator
Markov chain-based word generator based on Sam Twidale's implementation in Haxe.
JaredCorduan/sandbox
:alembic:
JaredCorduan/nats.docs
NATS.io Documentation on Gitbook
JaredCorduan/hexgrid
A tool for coloring tiles in a hex grid
JaredCorduan/dungeon_world_notes
JaredCorduan/lean-aoc-23
Advent of Code 2023 in Lean
JaredCorduan/lean-nuts-and-bolts
This is an example Lean project, demonstrating how to use the Lean tooling and infrastructure. It is intended as notes to myself, made public.
JaredCorduan/batteries
The "batteries included" extended library for the Lean programming language and theorem prover
JaredCorduan/nkeys.py
NATS Keys for Python
JaredCorduan/CIPs
JaredCorduan/lambda-calc-cofc
a talk given at the College of Charleston introducing the lambda Calculus talk
JaredCorduan/ramsey
Formalization of Ramsey Theory in Lean (work in progress)
JaredCorduan/cardano-api
Cardano API
JaredCorduan/teXnoCrat
This is a quickstart LaTeX setup.
JaredCorduan/jucs
jared's unofficial cardano scratchpad
JaredCorduan/agda-lecture-notes
Agda lecture notes for the Functional Programming course at TU Delft
JaredCorduan/rubik-group
Rubik's Cube Group
JaredCorduan/mathlib
Lean mathematical components library
JaredCorduan/haskell-vending-machine
Haskell implementation of a hypothetical Vending Machine modeled as a State Transition System.
JaredCorduan/theorem_proving_in_lean
Theorem proving in Lean
JaredCorduan/pigeon-talk
slides for a talk given at the College of Charleston on 1st February 2018
JaredCorduan/rush_hour_solver
A command line utility to solve Rush Hour puzzles.