Pinned Loading

1. helsinki-haskell-meetup helsinki-haskell-meetup Public

   My presentation for Helsinki Haskell Meetup on January 11, 2023

   TeX

2. gdp-jwt-authorization gdp-jwt-authorization Public

   Using Ghosts of Departed Proofs to enforce authorization checks (PoC)

   Haskell 3

3. nested-record-comparison nested-record-comparison Public

   Haskell

4. bachelors-thesis bachelors-thesis Public

   TeX

5. ts-analysis ts-analysis Public

   Time series and regression analysis and diagnostics.

   Haskell

6. lorentz-sim lorentz-sim Public

   The program calculates the Lorentz forces between multiple moving particles and simulates their movement.

   C++