Giters
Kwang Yul Seo (kseo)

kseo

Geek Repo

147

followers

6

following

263

stars

Company:CodeChain

Location:Seoul

Github PK Tool:Github PK Tool

Organizations
CodeChain-io

Kwang Yul Seo's repositories

poly_constraints

Hindley-Milner type inference using constraints

Language:HaskellLicense:MITStargazers:48Issues:2Issues:0

poly

A simple ML dialect

Language:HaskellLicense:MITStargazers:11Issues:2Issues:0

tuple

Tuple data structure for Dart

Language:DartLicense:BSD-2-ClauseStargazers:6Issues:2Issues:0

untyped

An implementation of untyped lambda calculus in Haskell

Language:HaskellLicense:BSD-3-ClauseStargazers:6Issues:3Issues:0

simple

An implementation of simply typed lambda calculus in Haskell

Language:HaskellLicense:BSD-3-ClauseStargazers:5Issues:3Issues:0

systemf

An implementation of System F in Haskell

Language:HaskellLicense:BSD-3-ClauseStargazers:5Issues:2Issues:0

haskell-talks

Collection of Kwang Yul Seo's Haskell Talks

Stargazers:4Issues:2Issues:1

bloom_filter

A stand-alone Bloom filter implementation written in Dart

Language:DartLicense:BSD-3-ClauseStargazers:3Issues:2Issues:1

bit_vector

A pure Dart memory-efficient packed representation for bit arrays

Language:DartLicense:BSD-3-ClauseStargazers:2Issues:2Issues:7

envsubst

Docker style environment variables substitution for Dart

Language:DartLicense:BSD-3-ClauseStargazers:2Issues:2Issues:1

event_kit

Simple library for implementing and consuming evented APIs

Language:DartLicense:BSD-3-ClauseStargazers:2Issues:2Issues:1

immutable

Immutable collections for Dart

Language:DartLicense:BSD-3-ClauseStargazers:2Issues:2Issues:0

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.

Language:DartLicense:BSD-3-ClauseStargazers:2Issues:3Issues:0

docker-client

A docket client for Haskell

Language:HaskellLicense:BSD-3-ClauseStargazers:1Issues:2Issues:0

intro-to-purescript

Introduction to PureScript Slides

License:BSD-3-ClauseStargazers:1Issues:2Issues:0

kseo.github.io

Kwang Yul Seo's Haskell Blog

Language:HTMLStargazers:1Issues:2Issues:0

outparam

A library providing support for out parameters in Dart

Language:DartLicense:BSD-3-ClauseStargazers:1Issues:2Issues:0

codechain-config-generator

CodeChain Config Generator

Language:JavaScriptLicense:GPL-3.0Stargazers:0Issues:2Issues:0

codechain-dashboard

CodeChain Dashboard

Language:TypeScriptLicense:Apache-2.0Stargazers:0Issues:2Issues:0

codechain-explorer

Block Explorer for CodeChain

Language:TypeScriptLicense:Apache-2.0Stargazers:0Issues:2Issues:0

codechain-keystore-cli

A command line CodeChain key management tool

Language:JavaScriptLicense:Apache-2.0Stargazers:0Issues:2Issues:0

codechain-miner

CodeChain miner

Language:RustLicense:AGPL-3.0Stargazers:0Issues:2Issues:0

codechain-sdk-js

A JavaScript SDK for CodeChain

Language:TypeScriptLicense:ISCStargazers:0Issues:2Issues:0

rust-codechain-primitives

Primitive types used by CodeChain.

Language:RustLicense:AGPL-3.0Stargazers:0Issues:2Issues:0

rust-cuckoo

a memory-bound graph-theoretic proof-of-work system written in Rust

Language:RustLicense:MITStargazers:0Issues:2Issues:0

rust-iblt

Invertible bloom lookup table implementation in rust

Language:RustLicense:MITStargazers:0Issues:2Issues:0

rust-limited-table

Size limited table.

Language:RustLicense:MITStargazers:0Issues:2Issues:0

rust-multimap

Multimap

Language:RustLicense:AGPL-3.0Stargazers:0Issues:2Issues:0

rust-token-generator

A token generator.

Language:RustLicense:MITStargazers:0Issues:2Issues:0

solidity

The Solidity Contract-Oriented Programming Language

Language:C++License:GPL-3.0Stargazers:0Issues:2Issues:0