Joonas Laukka's repositories
gdp-jwt-authorization
Using Ghosts of Departed Proofs to enforce authorization checks (PoC)
deriving-arbitrary
Attempt at deriving Arbitrary
helsinki-haskell-meetup
My presentation for Helsinki Haskell Meetup on January 11, 2023
lorentz-sim
The program calculates the Lorentz forces between multiple moving particles and simulates their movement.
ts-analysis
Time series and regression analysis and diagnostics.
amazonka
A comprehensive Amazon Web Services SDK for Haskell.
dt-jwt-authorization
Using Dependent Types (singletons) to enforce authorization checks (PoC)
eatables
A web application for everyday meal planning.
elm-bridge
Haskell: Derive Elm types from Haskell types
etcd-hs
Haskell client for etcd
google-drive
Google Drive API access
google-oauth2
Google OAuth2 token negotiation
json-rpc
Fully-featured JSON-RPC 2.0 library for Haskell programs
matrix
A Haskell native implementation of matrices and their operations.
mongodb_handler
Some node.js utility functions for MongoDB.
servant
Main repository for the servant libraries — DSL for describing, serving, querying, mocking, documenting web applications and more!
SQLite2XL
Library to Convert SQLite to Excel and Vice-Versa
stateful-objects
Some approaches to dealing with game object states in Haskell.
wp-engine
A version of my windows phone 7 game engine. Work in progress.