Name: Junyoung/"Clare" Jang
Type: User
Company: CompLogic @ McGill University
Bio: A passionate programmer equipped with functional arms.
Haskell IDE team member of @haskell, affilated with @haskellfoundation. AWS Scientist Intern 2022
Location: Montreal, QC, Canada
Blog: http://Ailrun.github.io/
Junyoung/"Clare" Jang's Projects
style as a function of state
TS problem reproduction
Repository for enzyme bug report
React specific linting rules for ESLint
Example server for graphql seminar
Experimental (and basic) proof assistant with absolutely **no** elegant features.
A central repository for Flow library definitions
Example for file upload API with GraphQL
codecov.io support for haskell code coverage collected by hpc in stack project code
Dummy project to check whether HIE works
Integration point for ghcide and haskell-ide-engine. One IDE to rule them all.
Haskell Tutorial in Korean
HoTTEST Summer School materials
Haskell integrated Tautology prover
Complete interactive development program for Haskell
Jest utilities for Glamor and React
Haskell implementation of (some of) lambda cube calculi
On-memory DB using Lambda function
Lambdifies VM
8bit microprocessor for LD final proj.
A Web Application for Learning OCaml
LINK
SERVER
lsp-mode :heart: haskell
Git LFS for magit!