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/C-Primer-Plus-6th-Edition-Source-Code
C Primer Plus 6th Edition source codes
kyagrd/tiper
Type Inference Prototyping Engine from Relational specifications of type systems
kyagrd/houkanren
Higher-Order twist to MicroKanren
kyagrd/ihaskell-picalc
Generating Distinguishing Formulae for non-Open Bisimilar pi-calculus processes
kyagrd/blaze-latex-logging-example
Simple code example to demonstrate logging with LaTeX output
kyagrd/web2020
kyagrd/bins
All kyagrd's bins
kyagrd/bs2019spring
창업의이해(01분반) 홈페이지
kyagrd/coursegraph-py
kyagrd/fresh2019spring
자기계발(새내기 과목)
kyagrd/Gitpod-Haskell
Gitpod Support for haskell
kyagrd/hs-logic
A simple library for Haskell that allows relational programming.
kyagrd/hs-picalc-unbound-example
Generating Witness of Non-Bisimilarity for the pi-Calculus
kyagrd/htmlcss2019spring
HTML/CS/JS course (2019 Spring @hnu.kr)
kyagrd/iio
Io kernel for Jupyter/IPython Notebook
kyagrd/java-notebook
ijava-jupyter-stack is a Jupyter Docker Stack image that's including the IJAVA Kernel to Jupyter notebook.
kyagrd/kaist-cp.github.io
kyagrd/Kiise-Latex-template
kyagrd/kotlin-by-example
Kotlin By Example
kyagrd/kyagrd.github.io
kyagrd/learn-you-a-haskell-notebook
Jupyter adaptation of Learn You a Haskell for Great Good!
kyagrd/lh-plugin-demo
A small package that demonstrates how to use LiquidHaskell as a GHC plugin
kyagrd/myweb11
깃헙을 이용한 웹 호스팅 실습
kyagrd/oop2019Spring
Object Oriented Programming course (2019 Spring @ce.hnu.kr)
kyagrd/par-bisim-benchmark
kyagrd/pr-test
kyagrd/ProgrammingInHaskell2ndCoCalc
Example codes in Programming in Haskell (2nd ed) by Graham Hutton, via IHaskell Jupyter Notebook
kyagrd/stream-monad
Simple, Fair and Terminating Backtracking Monad
kyagrd/tc2019spring
Automata Theory (Ed.M. grad course)
kyagrd/test-dockerfile