Junyoung/"Clare" Jang
Ailrun
Passionate programmer equipped with Fun. lang., working on a logical foundation of interop. Haskell IDE team member of @haskell. AWS Scientist Intern 2022
Languages
Repos
119
Stars
94
Forks
16
Top Language
Haskell
Loading contributions...
Top Repositories
Implementation for the book <Implementing functional languages: a tutorial>
Git LFS for magit!
SATyros, small SAT/SMT sovler library for step-by-step solving
Various writings
Haskell implementation of (some of) lambda cube calculi
On-memory DB using Lambda function
Repositories
119Various writings
Implementation of a polymorphic interoperability system with adjoint modalities
emacs settings for C, C++, html, node.js, ...
Agda proofs for various topics
[WIP] a prototype implementation of Cocon
GitHub Pages for Ailrun
TypeScript library for logical system handling
A Primitive Compiler from λ-calculus + α based on CBPV
Git LFS for magit!
Implementation for the book <Implementing functional languages: a tutorial>
SATyros, small SAT/SMT sovler library for step-by-step solving
No description provided.
JavaScript parser-combinator library
KoreanLogicDay2024 slides
No description provided.
Recipes and build machinery for the biggest Emacs package repo
ActivityPub-enabled social network for hackers
The Agda standard library
No description provided.
Agda Implementation of CARVe, mostly for my own use.
No description provided.
No description provided.
No description provided.
No description provided.
Haskell implementation of (some of) lambda cube calculi
Complete interactive development program for Haskell
The repository for high quality TypeScript type definitions.
Three potree loader minimal(?) example.
On-memory DB using Lambda function
No description provided.