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!
Risav Karna
Risav Karna
Using Haskell since 2014
[email protected]
https://www.risav.dev
I am not currently seeking employment
Living in kathmandu
About Me
Semantics and Symbolic AI researcher. Former software architect.
Skills
Advanced type-level programming (GADTs, TypeFamilies, proofs, etc.)
Agda
Agile software development
Categorical Programming
Computational Geometry
Computer algebra
Databases
Distributed systems
Foreign Function Interface (FFI)
Haskell on embedded devices
Idris
Natural Language Processing (tagging, parsing, translation,...)
Packaging for Debian
Packaging for Red Hat (RPMs)
Parallelism
Physics & Simulation
Programming using Arrows
Purely functional data structures — design and implementation
Reactive programming
Snap Web Framework
Software packaging/distribution tools
Teaching Haskell
Web development (HTML, CSS and Javascript)
Yesod Web Framework
Login with
Login using
— OR —