Pinned Repositories
free-foil
Efficient Type-Safe Capture-Avoiding Substitution for Free (Scoped Monads).
http-api-data
Converting to/from HTTP API data like URL pieces, headers and query parameters.
lambda-mu-mu-calculus
Interpreter for λ̅μμ̃-calculus of Herbelin and Curien (for educational purposes).
lambdaconf-2018-workshop
LambdaConf 2018 workshop on building Telegram bots in Haskell.
lxc
High level Haskell bindings to LXC (Linux containers).
simple-topes
Simple theorem prover for the tope layer of Riehl and Shulman type theory with shapes.
telegram-bot-simple
Easy to use library for building Telegram bots in Haskell.
swagger2
Swagger 2.0 data model.
servant-swagger
Swagger for Servant
rzk
An experimental proof assistant based on a type theory for synthetic ∞-categories.
fizruk's Repositories
fizruk/agent-slides
A short survey on multi-agent systems.
fizruk/arithmoi
arithmoi is currently maintained here
fizruk/demarcate
[Deprecated] Demarcating transformed monad.
fizruk/diff_game
Solution of nonlinear differential equations
fizruk/ffi-dsl
Exporting Haskell abstract DSL through the FFI.
fizruk/git-demo
Git demo repository.
fizruk/git-slides
An introduction to Git and Github.
fizruk/haskell-course
CMC MSU Haskell course materials.
fizruk/hcar-entries
My HCAR entries.
fizruk/impossible-geometry-sample
Impossible geometry sample with gloss.
fizruk/intelib_vim
Vim files helping write code with InteLib
fizruk/latex-templates
LaTeX templates for documents, papers, etc.
fizruk/modular-arithmetic
A useful type for working with integers modulo some constant.
fizruk/my-yesod-project
Temporary repo for testing purposes.
fizruk/secure-connection
Demonstration of safe connection over OpenSSL, encoding messages with BSON and compressing data stream with Google Snappy.
fizruk/tic-tac-toe
A sample project of a Tic-Tac-Toe game.
fizruk/trass
The Rigorous Assignment Submission System.
fizruk/vpe
fizruk/xi-base
Xi Base parser, analyser and interpreter.