kwanghoon

bidi

bidirectional type checking algorithms for higher-ranked polymorphism

maejiri

LF type checker written in Haskell

JavaAnalysis

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

NNS-FE

에디터를 제외한 나머지 프론트엔드

NNS-Train

GPUServer

NNS_back

tapl

{TAPL Book] Types and programming languages: type checkers

TheoremProver

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

aeff

An interactive interpreter for asynchronous algebraic effects

AutoVAS

AutoVAS is an automated vulnerability analysis system with a deep learning approach.

delimcont

dist-prog-book

ElementaryTypeInference

ECOOP 2022 Elementary Type Inference

Erc20FunctionalVerifier

An Erc20 Functional Verifier

example

haskell-mooc

Haskell MOOC University of Helsinki

jmbyun.github.io

A personal academic website built on top of a Google Sheet document that is super easy to maintain.

kiteco-public

Primary Kite repo — private bits replaced with XXXXXXX

LearningHaskell_Exercises

Haskell exercises corresponding to the youtube tutorials series Learning Haskell

links

Links: Linking Theory to Practice for the Web

linksrpc

miso

:ramen: A tasty Haskell front-end framework

NNS-Code-Converter

에디터에서 만든 그래프를 파이썬코드로 변환

service-apply

우아한테크코스 지원부터 최종 합격까지 모든 과정을 관리한다.

smartfuzz

Fuzzing SmartThings Apps

todomvc

TypingFormalization

VeriSmart-public

a safety verifier for Solidity smart contracts

workshop-streaming-game

A multiplayer game using Astra Streaming, FastAPI, React and Websockets

workshop-vuejs