Discover @kyagrd Open Source projects

Top Rating
- Top Contributors
  Discover the Top Open Source contributors by country or by language
- Interviews
  Discover real stories from Open Source developers
Discover

Discover your Favorite Language
Discover the top trending repositories and projects on Github. Explore the latest trends in your preferred languages.

Solidity

Zig

HTML

Nix

Shell

Erlang

Rust

C++

More Languages
Awesome

Awesome repositories
Discover the most awesome repositories and projects of your favorite languages. Inspired by the Awesome-* lists trend in GitHub.

Shell

Groovy

Perl

R

Java

C#

Scala

TypeScript

More Languages
By Country

Rankings by Country
Discover the community of talented open source contributors in each country.

🇬🇬 Guernsey

🇵🇸 Palestine

🇸🇬 Singapore

🇮🇩 Indonesia

🇧🇿 Belize

🇳🇨 New Caledonia

🇩🇴 Dominican Republic

🇲🇱 Mali

All Countries Compare Countries

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 %

C++
6.3 %

OCaml
6.3 %

CSS
6.3 %

Prolog
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