Seoul

Kwang Yul Seo

Expert
@kseo

CEO at Kodebox

poly_constraints. Hindley-Milner type inference using constraints

50

sfnt2woff. A command line tool to convert TrueType/OpenType fonts to WOFF format

34

edit_distance. Implementation of string distance algorithms in Dart

25

ws-cli. WebSocket Command Line Client written in Go

17

fp. John Backus' Functional Programming Systems

16

secd. A Haskell implementation of the SECD abstract machine

10

poly. A simple ML dialect

10

tagsoup-megaparsec. A Tag token parser and Tag specific parsing combinators

9

language-dart. Dart source manipulation

8

systemf. An implementation of System F in Haskell

8

blockhash. Haskell implementation of Blockhash perceptual image hash algorithm

8

btree. An in-memory B-Tree implementation for Dart

7

simple. An implementation of simply typed lambda calculus in Haskell

6

tuple. Tuple data structure for Dart

5

untyped. An implementation of untyped lambda calculus in Haskell

5

bson_codec. BSON serialization for Dart

5

tapl. Typechecker Implementations of Types and Programming Languages

5

calc. A simple Haskell calculator

5

text-zipper-monad. Monadic interface to the text-zipper package

4

ini-qq. Quasiquoter for INI

4

haskell-talks. Collection of Kwang Yul Seo's Haskell Talks

3

command_wrapper. Make it easy to create a Dart wrapper for command line tools.

2

names_generator. Docker's namesgenerator in Dart

2

haskell-samples. Haskell code samples

2

bloom_filter. A stand-alone Bloom filter implementation written in Dart

2

dh. Diffie-Hellman Key-exchange algorithm in Dart

2

envsubst. Docker style environment variables substitution for Dart

1

text_zipper. A two dimensional text zipper data structure.

1

googleapis_auth_default_credentials. An implementation of application default credentials for Dart.

1

interval_skip_list. This data structure maps intervals to values and allows you to find all intervals that contain an index in O(ln(n)), where n is the number of intervals stored.

1

bit_vector. A pure Dart memory-efficient packed representation for bit arrays

1

prioqueue. Binary-heap based priority queue for Go

1

brainfuck. A Haskell implementation of brainfuck interpreter

1

enchant. Binding to the Enchant library

1

kseo.github.io. Kwang Yul Seo's Haskell Blog

1

docker-client. A docket client for Haskell

1

editor-config. A parser for EditorConfig file written in Haskell

1

event_kit. Simple library for implementing and consuming evented APIs

1

immutable. Immutable collections for Dart

1

minichain. A PoC cryptocurrency implementation written to illustrate the basic components of a Proof-of-Work based, public blockchain technology.

1
40
Apply