Montreal, QC, Canada

Junyoung/"Clare" Jang

Elite
@Ailrun

Passionate programmer equipped with Fun. lang., working on a logical foundation of interop. Haskell IDE team member of @haskell. AWS Scientist Intern 2022

Ailrun.github.io/

Theorem_Proving_in_Lean. Lean

3

Htaut. Haskell integrated Tautology prover

2

TRPL-study. <The Rust Programming Language> book study

2

Programming_in_Haskell. Haskell

2

Floor1. Experimental (and basic) proof assistant with absolutely **no** elegant features.

2

DNA_Hairpin_Structure. detect hairpin structure of short length DNA

1

haskell-language-server. Integration point for ghcide and haskell-ide-engine. One IDE to rule them all.

1

npm-prologue. NPM project/package bootstrapper for Junyoung Clare Jang

1

example-graphql-server. Example server for graphql seminar

1

graphql-file-upload. Example for file upload API with GraphQL

1

rxan-react. JavaScript

1

stylish-haskell. Haskell code prettifier

1

Lambdifies. Lambdifies VM

1

APar. Arrow Parser Library of Haskell

1

plfa.github.io. An introduction to programming language theory in Agda

1

learn-ocaml. A Web Application for Learning OCaml

1

tetris-js. Various implementation for tetris in JS

1

Ailrun.github.io. GitHub Pages for Ailrun

1

miniCUTE. Minimal implementation of basic compiler in Haskell

1

Elevator2way7floor. 2 ways 7 floors elevator using Verilog

1

three-potree-loader-example. Three potree loader minimal(?) example.

1

yet-another-emacs-settings. emacs settings for C, C++, html, node.js, ...

1

deducible. TypeScript library for logical system handling

1
23
Apply