Haskell
-- Language
English
Japanese
Spanish
French
Hebrew
Russian
Ukrainian
The meeting place for professional Haskell programmers
Overview
Groups
Find
a Haskeller
Find a Job
Polls
Bling
FAQ
News Archive
Browse Skills
Login
I'm a Haskeller!
Junyoung Clare Jang
Junyoung Clare Jang
Using Haskell since 2010
Reveal email address
You can ask me about part-time employment
Living in Montreal, Quebec, Canada
Skills
Advanced type-level programming (GADTs, TypeFamilies, proofs, etc.)
Agda
Agile software development
Attribute Grammar
Categorical Programming
Compilers
Computer algebra
Concurrent Haskell
DSL Design
Databases
Denotational design
Distributed systems
Foreign Function Interface (FFI)
Formal Verification
GHC internals
Generic Programming
Graphical User Interfaces
Machine Learning
Metaprogamming via Template Haskell
Monadic Parser Combinators
Network programming
Numerical Computation
Parallelism
Programming language translation
Programming using Arrows
Property based testing (QuickCheck)
Prototyping
Proving observational equivalence between Haskell programs
Reactive programming
Systems programming
Teaching Haskell
UNIX Scripting
Web development (HTML, CSS and Javascript)
Yesod Web Framework
Packages
haskell-language-server
hls-class-plugin
hls-eval-plugin
hls-stylish-haskell-plugin
lambda-cube
LambdaDB
satyros
Check package dependency status.
Login with
Login using
— OR —