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!
Aistis Raulinaitis
Aistis Raulinaitis
Using Haskell since 2011
Reveal email address
http://www.github.com/sheganinans
You can ask me about full-time employment
Living in orange, ca
About Me
Data science and language design,
Skills
Advanced type-level programming (GADTs, TypeFamilies, proofs, etc.)
Agda
Agile software development
Artificial Intelligence
Attribute Grammar
Categorical Programming
Compilers
Computational Geometry
Computer algebra
Concurrent Haskell
Cryptography
DSL Design
Databases
Denotational design
Digital Forensics
Distributed systems
Foreign Function Interface (FFI)
Formal Verification
Functional graphics programming (2D, 3D, GPU)
GHC internals
Game development
Generic Programming
Happstack Web Framework
Hardware Acceleration DSLs
Haskell on embedded devices
High-performance Haskell
Idris
Image processing
Machine Learning
Metaprogamming via Template Haskell
Monadic Parser Combinators
Natural Language Processing (tagging, parsing, translation,...)
Network programming
Numerical Computation
Parallelism
Physics & Simulation
Programming language translation
Programming using Arrows
Property based testing (QuickCheck)
Prototyping
Proving observational equivalence between Haskell programs
Purely functional data structures — design and implementation
Quantitative Finance
Reactive programming
Reverse Engineering
Robotics and Automation
Signal Processing
Snap Web Framework
Software packaging/distribution tools
Streaming data (conduit/enumerator/pipes)
Systems programming
Teaching Haskell
Transactional business applications development
UNIX Scripting
Web development (HTML, CSS and Javascript)
Yesod Web Framework
Login with
Login using
— OR —