Nikolai Kudasov

telegram-bot-simple. Easy to use library for building Telegram bots in Haskell.

http-api-data. Converting to/from HTTP API data like URL pieces, headers and query parameters.

lxc. High level Haskell bindings to LXC (Linux containers).

lambdaconf-2018-workshop. LambdaConf 2018 workshop on building Telegram bots in Haskell.

lambda-mu-mu-calculus. Interpreter for λ̅μμ̃-calculus of Herbelin and Curien (for educational purposes).

simple-topes. Simple theorem prover for the tope layer of Riehl and Shulman type theory with shapes.

free-agent. A general framework for multi-agent systems. An agent-environment interface is abstracted with a free monad.

snakes-demo. Snakes game demo.

free-foil. Efficient Type-Safe Capture-Avoiding Substitution for Free (Scoped Monads).

miso-aframe. Miso bindings for A-Frame framework for WebVR.

simple-grin. Compiler from a simple functional language to GRIN.

fpconf-2017-talk. Материалы доклада «Функциональная виртуальная реальность: WebVR + Haskell» на FPConf 2017.

bindings-lxc. Direct Haskell bindings to LXC (Linux containers) C API.

haskell-course-projects. Final projects for Haskell course at CMC MSU.

lambdaconf-2019-workshop. LambdaConf 2019 workshop «Augmenting Reality in Haskell».

tubes. A collaborative game about metro construction.

free-accelerate. Data parallel representation for free monads.

eertree. Purely functional palindromic tree.

haskell-codeworld-template. Template Haskell project using CodeWorld.

soas-quine. Generating quines via E-unification for second-order abstact syntax.

replay-free. Logging and replaying interpretations of free structures.

accpa-spring-2022. Source code for demonstrations used in the ACC&PA course of Spring 2022.

e2-unification. Simple E-unification for second-order syntax.

fby-2017-workshop. My f(by) 2017 workshop on building Telegram bots in Haskell.

time-alchemy-game. Rust

hottest-2023-rzk-demo. Rzk proof assistant demo for HoTTEST talk on October 5th, 2023.

SymmetryBook. This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.

bmstu-rzk-demo-2023. Materials for Rzk demo and tutorials for the HoTT seminar at Bauman Moscow State Technical University, Nov 20–21, 2023.

formal-phi. Formalization of 𝜑-calculus in Agda.

decidable-validation. Validation through Divisible and Decidable.

arangodb. ArangoDB HTTP API bindings.

fby-2017-talk. Slides and materials for my f(by) 2017 talk on Functional Virtual Reality: WebVR + Haskell.