kseo

CEO at CodeChain

CodeChainSeoul

Pinned Repositories

codechain
CodeChain's official implementation in Rust.
Language:Rust258 26 46851
codechain-dashboard
CodeChain network management and monitoring tool
Language:Rust26 8 379
codechain-explorer
Block Explorer for CodeChain
Language:TypeScript49 8 10216
codechain-indexer
A blockchain data indexing tool for CodeChain
Language:TypeScript21 7 12615
codechain-sdk-js
CodeChain JavaScript SDK
Language:TypeScript26 9 13217
codechain-web-wallet
CodeChain Web Wallet
Language:TypeScript20 6 558
edit_distance
Implementation of string distance algorithms in Dart
Language:Dart26 3 112
poly_constraints
Hindley-Milner type inference using constraints
Language:Haskell50 2 01
sfnt2woff
A command line tool to convert TrueType/OpenType fonts to WOFF format
Language:C30 2 13

kseo's Repositories

kseo/poly_constraints
Hindley-Milner type inference using constraints
Language:Haskell50 2 01
kseo/poly
A simple ML dialect
Language:Haskell11 2 03
kseo/systemf
An implementation of System F in Haskell
Language:Haskell7 2 01
kseo/tuple
Tuple data structure for Dart
Language:Dart6 2 04
kseo/untyped
An implementation of untyped lambda calculus in Haskell
Language:Haskell6 3 03
kseo/simple
An implementation of simply typed lambda calculus in Haskell
Language:Haskell5 3 02
kseo/haskell-talks
Collection of Kwang Yul Seo's Haskell Talks
4 2 1
kseo/bloom_filter
A stand-alone Bloom filter implementation written in Dart
Language:Dart3 2 13
kseo/bit_vector
A pure Dart memory-efficient packed representation for bit arrays
Language:Dart2 2 71
kseo/envsubst
Docker style environment variables substitution for Dart
Language:Dart2 2 1
kseo/event_kit
Simple library for implementing and consuming evented APIs
Language:Dart2 2 1
kseo/immutable
Immutable collections for Dart
Language:Dart2 2 0
kseo/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:Dart2 3 0
kseo/docker-client
A docket client for Haskell
Language:Haskell1 2 0
kseo/intro-to-purescript
Introduction to PureScript Slides
1 2 0
kseo/kseo.github.io
Kwang Yul Seo's Haskell Blog
Language:HTML1 2 0
kseo/outparam
A library providing support for out parameters in Dart
Language:Dart1 2 0
kseo/codechain-config-generator
CodeChain Config Generator
Language:JavaScript2 0
kseo/codechain-dashboard
CodeChain Dashboard
Language:TypeScript2 0
kseo/codechain-explorer
Block Explorer for CodeChain
Language:TypeScript2 0
kseo/codechain-keystore-cli
A command line CodeChain key management tool
Language:JavaScript2 0
kseo/codechain-miner
CodeChain miner
Language:Rust2 0
kseo/codechain-sdk-js
A JavaScript SDK for CodeChain
Language:TypeScript2 0
kseo/rust-codechain-primitives
Primitive types used by CodeChain.
Language:Rust2 0
kseo/rust-cuckoo
a memory-bound graph-theoretic proof-of-work system written in Rust
Language:Rust2 0
kseo/rust-iblt
Invertible bloom lookup table implementation in rust
Language:Rust2 0
kseo/rust-limited-table
Size limited table.
Language:Rust2 0
kseo/rust-multimap
Multimap
Language:Rust2 0
kseo/rust-token-generator
A token generator.
Language:Rust2 0
kseo/solidity
The Solidity Contract-Oriented Programming Language
Language:C++2 0