☕
-
BigBear.ai
- Charleston, SC
- https://jaredcorduan.github.io
- https://orcid.org/0000-0003-3838-3038
Block or Report
Block or report JaredCorduan
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse-
-
-
nkeys.py Public
Forked from nats-io/nkeys.pyNATS Keys for Python
Python Apache License 2.0 UpdatedApr 26, 2024 -
teXnoCrat Public
This is a quickstart LaTeX setup.
Python GNU General Public License v3.0 UpdatedNov 22, 2023 -
CIPs Public
Forked from cardano-foundation/CIPs -
cardano-api Public
Forked from IntersectMBO/cardano-apiCardano API
Haskell Apache License 2.0 UpdatedMay 24, 2023 -
-
-
agda-lecture-notes Public
Forked from jespercockx/agda-lecture-notesAgda lecture notes for the Functional Programming course at TU Delft
TeX UpdatedNov 11, 2022 -
-
mathlib Public
Forked from leanprover-community/mathlibLean mathematical components library
Lean Apache License 2.0 UpdatedFeb 15, 2020 -
lambda-calc-cofc Public
a talk given at the College of Charleston introducing the lambda Calculus talk
-
ramsey Public
Formalization of Ramsey Theory in Lean (work in progress)
-
haskell-vending-machine Public
Forked from nkarag/haskell-vending-machineHaskell implementation of a hypothetical Vending Machine modeled as a State Transition System.
Haskell BSD 3-Clause "New" or "Revised" License UpdatedAug 3, 2019 -
theorem_proving_in_lean Public
Forked from leanprover/theorem_proving_in_leanTheorem proving in Lean
Python Apache License 2.0 UpdatedJun 26, 2019 -
pigeon-talk Public
slides for a talk given at the College of Charleston on 1st February 2018
-
rush_hour_solver Public
A command line utility to solve Rush Hour puzzles.
-
coloring_posets Public
Ph.D. thesis of Jared Corduan - Coloring Posets and Reverse Mathematics