Hyeyoung Shin's repositories
hyeyoungshin.github.io
source code for my website
gradfolio
responsive, dark-mode ready Jekyll theme designed for use as a personal website and portfolio
FPinScala
Exercises in Functional Programming in Scala Second Edition
rustautogpt
Rust Autogpt Project via Udemy by Shaun McDonogh
fpinscala2
My learning of the book "Functional Programming in Scala Second Edition"
jekyll-cv
Lightweight jekyll theme for your CV with dark mode support
general-recursion-in-TT
we implement algorithms with general recursion in TT using the Bove-Capretta method
ualib.github.io
The Agda Universal Algebra Library (UALib) is a library of types and programs (theorems and proofs) that formalizes the foundations of universal algebra in dependent type theory using the Agda proof assistant language.
women-in-programming-languages-research
Women in Programming Languages and Software Engineering Research
server-config
Configuration for PRL-PRG servers
r-source
Read-only mirror of R source code from https://svn.r-project.org/R/, updated hourly. See the build instructions on the wiki page.
hy-haskell
first steps in haskell
LEAN
I am learning how to prove theorems in LEAN.