iokasimov
I'm a software engineer who solves real-world problems by using formal methods to build safe and elegant programs as much as possible.
zkFoldเชียงใหม่
Pinned Repositories
apart
Get all your structure and rip it apart.
joint
Extremely simple effect system for Haskell
monopati
Well-typed paths
observable
Make your actions observable and listen events from them, algebraically.
pandora
Pure basic library based on math abstractions
pipeline
Lightweight, continuation-based and minimal streaming library
tictactoe
A game written using free monads, representable functors, adjunctions and lens
ya
Extremely composable embeddable programming language :shipit:
ya-ascii
ya-expo
iokasimov's Repositories
iokasimov/ya
Extremely composable embeddable programming language :shipit:
iokasimov/observable
Make your actions observable and listen events from them, algebraically.
iokasimov/pandora
Pure basic library based on math abstractions
iokasimov/joint
Extremely simple effect system for Haskell
iokasimov/haskell-experiments
iokasimov/telega
Telegram Bot API library
iokasimov/notes
iokasimov/ya-expo
iokasimov/bandcamp.albums
Load music albums from Bandcamp pages
iokasimov/effects-bibliography
A collaborative bibliography of work related to the theory and practice of computational effects
iokasimov/elections-bot
Bot for conducting elections in group chats
iokasimov/ya-filesystem
iokasimov/ya-ascii
iokasimov/concur-replica
Server-side VDOM UI framework for Concur
iokasimov/configurations
iokasimov/control
iokasimov/docs
iokasimov/fused-effects
A fast, flexible, fused effect system for Haskell
iokasimov/gitlib
iokasimov/ics-report
iokasimov/iokasimov.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
iokasimov/joint-zoo
iokasimov/old.iokasimov.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
iokasimov/pandora-io
iokasimov/phonatic
iokasimov/qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
iokasimov/tla-experiments
iokasimov/unison-experiments
iokasimov/ya-console
iokasimov/ya-fonts