hyeyoungshin

ial

Iowa Agda Library

popl19src

argtracer

argtracer-old

auto_gippity

cprog

c programming practice

cv

fab

FPinScala

Exercises in Functional Programming in Scala Second Edition

general-recursion-in-TT

we implement algorithms with general recursion in TT using the Bove-Capretta method

htdp_in_scala

hy-agda

hy-haskell

first steps in haskell

hy-racket

hy-redex

hy_eopl

hyeyoungshin.github.io

source code for my website

lat-nae-3sat-code

LEAN

I am learning how to prove theorems in LEAN.

oplss-notes-2017

handouts and notes from the 2017 edition of the summer school

PLjr

python_ai_projects

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.

rustautogpt

Rust Autogpt Project via Udemy by Shaun McDonogh

server-config

Configuration for PRL-PRG servers

talk-scripts

Talks

toy-packages

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