Ailrun

followers

following

stars

CompLogic @ McGill University

Montreal, QC, Canada

http://Ailrun.github.io/

Organizations

Beluga-lang

CUTE-Lang

emacs-typescript

emotion-js

haskell

MoebiusLang

SNU-Sigma

teaching-the-art-of-fp

Junyoung/"Clare" Jang's repositories

Htaut

Haskell integrated Tautology prover

Language:HaskellBSD-3-Clause200

Programming_in_Haskell

Language:Haskell200

APar

Arrow Parser Library of Haskell

Language:HaskellBSD-3-Clause100

DNA_Hairpin_Structure

detect hairpin structure of short length DNA

Language:C++100

Elevator2way7floor

2 ways 7 floors elevator using Verilog

Language:Verilog100

BigInteger

Java BigInteger

Language:Java000

CalEqulator

Easy Calculator using C

Language:Emacs Lisp000

CanadianEating

Eating Travel in Canada

Language:JavaScript000

CID_10_Naver_Redis_Gateway

Gateway For Redis - Project for Naver

Language:C000

CUTE-parser

Parser for CUTE Lang

Language:HaskellBSD-3-Clause000

CUTE-spec

Specification Documents for CUTE Lang

Language:TeX000

HaskellTutorial

Haskell Tutorial in Korean

Language:Haskell000

LD_8bit_Microprocessor

8bit microprocessor for LD final proj.

Language:Verilog000

LINKBOX

LINK

Language:Java000

LINKSERVER

SERVER

Language:JavaScript000

MineSweeper

Game MineSweeper

Language:C++000

osfall2016

snu os fall 2016

Language:Shell000

phonebook

phonebook android test

Language:Java000

pl2016

Language:HTML000

sflib

Language:Coq000

StackCalc

Language:Java000

STYLUP

Language:Java000