Discover @kwanghoon Open Source projects

Kwanghoon Choi (@kwanghoon)

kwanghoon

Stars
119
Global Rank 177,790 (Top 7 %)
Followers 75
Following 14
Registered over 12 years ago
Most used languages

Java
34.5 %

Haskell
34.5 %

JavaScript
6.9 %

Emacs Lisp
3.4 %

HTML
3.4 %

Standard ML 3.4 %

Ruby
3.4 %

OCaml
3.4 %

C
3.4 %

Coq 3.4 %
Location 🇰🇷 South Korea
Country Total Rank 1,549
Country Ranking

Standard ML 2

Haskell
6

Coq 9

OCaml
31

Emacs Lisp
51

Ruby
310

Java
388

JavaScript
825

HTML
1,578

C
1,632

polyrpc

PolyRPC, A multi-tier functional programming language

MySmallBasic

An Open-source Software for SmallBasic Interpreter and Debugger written in Java

yapb

YAPB: Yet Another Parser Builder (A Programmable LALR(1) Parser Builder in Haskell)

DesignPatternExamples

bidi

bidirectional type checking algorithms for higher-ranked polymorphism

CapstoneDesign

Lecture_SAV

Haskell implementation of program analyses on the WHILE language

Lecture_Haskell_Mooc

maejiri

LF type checker written in Haskell

AndroidAppTester

Lecture_IntroToCompiler

kwanghoon.github.io

Personal website

Lecture_EOPL_Exercise

Exercises for EOPL in Haskell

swlab_parser_builder

A Tool for Building a Parser in Java

DSL

starter-kit-smartapp-nodejs

ytv

smllike

A test project for syntax completion (smllike)

smlog

nfc-script

JavaAnalysis

A Type and Effect System for Activation Flow of Components in Android-like Programs

lecture_smartcontract

TestingExamples

tapl

{TAPL Book] Types and programming languages: type checkers

distprog

TheoremProver

A Haskell implementation of a tactical theorem prover (Ref. L.C. Paulson's ML for the Working Programmer)

smartbasic

Java compiler for SmallBasic

oss_git_example

sf

Software Foundations (a translation)

checker

An LF type checker in C

Polyglot

SmallBasicDataCollection