Demin Dmitriy's repositories
almost-haskell
A compiler to LLVM for a toy language that shares most of its syntax with Haskell
battle-snake-board-generator
A quick and dirty react-typescript app for battlesnake testing
conan-azmq
C++ language binding library integrating ZeroMQ with Boost Asio
cpp-and-computational-geometry-courses
Automatically exported from code.google.com/p/demin-dmitriy
cpp-teach-zero
Coaching materials for student with zero programming experience.
googletest
Googletest - Google Testing and Mocking Framework
linear-algebra-agda
Formalizing university course of linear algebra in Agda proof assistant.
miniaicups
Правила, исходники и прочее для aicups.ru
network-course
Tasks for network course in NRU ITMO
operator-implies-cpp
Implication binary operator for standard C++
Piano-Trainer
A web-app for training sheet reading skills by using your MIDI-enabled piano.
pypi-deps-db
Probably the most complete python dependency database
rtm-nextaction
next-action list (as in GTD) on top of RTM api
space-invaders-ecs
Experimenting with ECS using as a testbed simplistic "space invaders"-like terminal game
sublime-nix
Nix syntax highlighting for Sublime Text