kyagrd Goto Github PK

htmlcss2018spring

한남대학교 인터넷응용및실습 (2018년 봄학기)

htmlcss2019spring

HTML/CS/JS course (2019 Spring @hnu.kr)

ihaskell-picalc

Generating Distinguishing Formulae for non-Open Bisimilar pi-calculus processes

iio

Io kernel for Jupyter/IPython Notebook

introcs2018spring

한남대학교 컴퓨터개론 (2018 봄학기 2분반, 3분반)

java-notebook

ijava-jupyter-stack is a Jupyter Docker Stack image that's including the IJAVA Kernel to Jupyter notebook.

kaist-cp.github.io

kchess

Korean chess board

kiise-latex-template

kotlin-by-example

Kotlin By Example

kyagrd.github.io

learn-you-a-haskell-notebook

Jupyter adaptation of Learn You a Haskell for Great Good!

lh-plugin-demo

A small package that demonstrates how to use LiquidHaskell as a GHC plugin

memscript

Command line utility for memorizing scriptures or any other text

mendlerth

Template Haskell code for more generic Mendler-style coding

micronax

even more strip down version of nax, that is mininax without term indices

mininax

myweb1

웹 호스팅 사용해보기

myweb11

깃헙을 이용한 웹 호스팅 실습

myweb333

naxpapers

Automatically exported from code.google.com/p/nax

nonbisim2df

Extracting Distinguishing Formula from Bisimulation Tests

oop2019spring

Object Oriented Programming course (2019 Spring @ce.hnu.kr)

par-bisim-benchmark

pl2018fall

한남대학교 2018가을(2학기) 프로그래밍언어

posttypes14

in consideration to submit to post TYPES 2015

programminginhaskell2ndcocalc

Example codes in Programming in Haskell (2nd ed) by Graham Hutton, via IHaskell Jupyter Notebook

stlc-agda

STLC-related snippets in Agda

stream-monad

Simple, Fair and Terminating Backtracking Monad

swish

SWI-Prolog for SHaring: a SWI-Prolog web IDE