Discover @kyagrd Open Source projects

Ki Yung Ahn (@kyagrd)

kyagrd

Stars
61
Global Rank 296,700 (Top 11 %)
Followers 49
Following 12
Registered almost 12 years ago
Most used languages

Haskell
43.8 %

HTML
18.8 %

TeX
12.5 %

CSS
6.3 %

Prolog
6.3 %

C++
6.3 %

OCaml
6.3 %
Location 🇰🇷 South Korea
Country Total Rank 2,566
Country Ranking

Prolog
5

Haskell
13

OCaml
27

TeX
54

CSS
177

HTML
1,008

C++
3,209

tiper

Type Inference Prototyping Engine from Relational specifications of type systems

haskell

Programming in Haskell (Korean translation) - homepage

houkanren

Higher-Order twist to MicroKanren

HMtyInferUsingProlog

specifying type inference for functional language usning Prolog

mininax

hs-partition-example

Haskell partition library example

eien233ds

EIEN233 데이타구조 Data Structures

trellys

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

bedwyr

web2020

ttt-nodejs-example

tic-tac-toe 예제 서버

ExtensibleRecordsWithSetMembLP

Executable Relational Specification of Extensible Records with Set-Membership in Logic Programming

hs-unification-example

Implementation of the rule-based unification algorithm U using unbound

kchess

Korean chess board

blaze-latex-logging-example

Simple code example to demonstrate logging with LaTeX output

naxPapers

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

hs-nipkow-lics93

Haskell port of Nipkow's LICS 1993 paper on Higher-Order Pattern Unification