Pinned Repositories
C-Primer-Plus-6th-Edition-Source-Code
C Primer Plus 6th Edition source codes
haskell
Programming in Haskell (Korean translation) - homepage
HMtyInferUsingProlog
specifying type inference for functional language usning Prolog
houkanren
Higher-Order twist to MicroKanren
ihaskell-picalc
Generating Distinguishing Formulae for non-Open Bisimilar pi-calculus processes
mininax
tiper
Type Inference Prototyping Engine from Relational specifications of type systems
kyagrd's Repositories
kyagrd/bedwyr
kyagrd/eien233ds
EIEN233 데이타구조 Data Structures
kyagrd/hs-nipkow-lics93
Haskell port of Nipkow's LICS 1993 paper on Higher-Order Pattern Unification
kyagrd/hs-partition-example
Haskell partition library example
kyagrd/hs-unification-example
Implementation of the rule-based unification algorithm U using unbound
kyagrd/ttt-nodejs-example
tic-tac-toe 예제 서버
kyagrd/NonBisim2DF
Extracting Distinguishing Formula from Bisimulation Tests
kyagrd/appi-lprolog
A little taste of Applied Pi-Calculus specification in lambda-Prolog
kyagrd/BNFCexample
kyagrd/compiler2018Fall
한남대학교 2018가을(2학기) 컴파일러
kyagrd/courseREhs
Course materials on Regular Expressions using Haskell
kyagrd/cprog2018Fall
한남대학교 2018가을(2학기) 프로그래밍실습
kyagrd/eien215em
EIEN215 공업수학I Engineering Mathematics I
kyagrd/eien363ca
EIEN363 컴퓨터아키텍처 Computer Architecture
kyagrd/FcurryAbella
type preservation of the beta reduction in System F (formal proof using Abella prover)
kyagrd/gitignore
A collection of useful .gitignore templates
kyagrd/HaREnFA
Regular Expressions and Finite Automata demonstrated using IHaskell Notebook
kyagrd/hs-fold-nabla
kyagrd/hs-gopalan-iclp05
Haskell implementation of HO pattern unification with on-the-fly raising
kyagrd/htmlcss2018spring
한남대학교 인터넷응용및실습 (2018년 봄학기)
kyagrd/introCS2018spring
한남대학교 컴퓨터개론 (2018 봄학기 2분반, 3분반)
kyagrd/myweb1
웹 호스팅 사용해보기
kyagrd/myweb333
kyagrd/PL2018Fall
한남대학교 2018가을(2학기) 프로그래밍언어
kyagrd/testingsync
testing sync with github
kyagrd/ukanren
Playing around with microKanren (in Haskell)
kyagrd/web0320
호스팅 실습
kyagrd/web0327
just for the sake of git exercise in a web programming course
kyagrd/web0403
kyagrd/web0410
GET and POST with Express