Swordlash
A mathematical physicist with a firm grasp of programming languages. Passionate with piano works, especially Chopin. And plays snooker too.
Generation LambdaWarsaw
Pinned Repositories
AiTSI
Projekt na przedmiot Architektury i Technologie Systemów Internetowych
ChatNFC
Privacy-focused Android chat app with end-to-end encryption and adding contacts through NFC.
hell
Haskell-based shell scripting language
ITO
purescript-monad-delayed-state
Implementation of a delayed state monad, debouncing modifications for a specified amount of time
purescript-monad-unlift
Port of Michael Snoyman's MonadUnliftIO to purescript
purescript-read-generic
Provide Read and Parse typeclasses along with a way to derive them generically
Swordlash's Repositories
Swordlash/purescript-read-generic
Provide Read and Parse typeclasses along with a way to derive them generically
Swordlash/ChatNFC
Privacy-focused Android chat app with end-to-end encryption and adding contacts through NFC.
Swordlash/AiTSI
Projekt na przedmiot Architektury i Technologie Systemów Internetowych
Swordlash/hell
Haskell-based shell scripting language
Swordlash/ITO
Swordlash/purescript-monad-delayed-state
Implementation of a delayed state monad, debouncing modifications for a specified amount of time
Swordlash/purescript-monad-unlift
Port of Michael Snoyman's MonadUnliftIO to purescript
Swordlash/purescript-toppokki
A binding to puppeteer to drive headless Chrome.
Swordlash/Sudoku
Sudoku solver
Swordlash/Varg
Interpreter for objective-functional language Varg
Swordlash/WUT-Thesis
LaTeX template for engineer and master thesis for Warsaw University of Technology.
Swordlash/ZAI-JS