demin-dmitriy Goto Github PK

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.

demin-dmitriy.github.io

dots-diagram-tool

fat-lions

googletest

Googletest - Google Testing and Mocking Framework

hsdev

Haskell development tool

linear-algebra-agda

Formalizing university course of linear algebra in Agda proof assistant.

mach-nix

Create highly reproducible python environments

miniaicups

Правила, исходники и прочее для aicups.ru

ml-2013

NRU ITMO CTDDEV Machine Learning course - Fall 2013

ml-learn

Dump of ML-related things emerged from learning

network-course

Tasks for network course in NRU ITMO

nixpkgs

Nix Packages collection

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

rules

Battlesnake Game Rules and Logic

scripts

Little bits and pieces that I use for myself

space-invaders-ecs

Experimenting with ECS using as a testbed simplistic "space invaders"-like terminal game

sublime-nix

Nix syntax highlighting for Sublime Text

trimesh

Python library for loading and using triangular meshes.

veeroute-marathon

wine