Rasie1

pliss-rift

LLVM for dynamic languages lecture at PLISS 17

openvr

OpenVR SDK

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

glowy3d

simple 3d graphics engine

PSMoveService

A background service that communicates with the psmove and stores pose and button data.

discover-yesod

Website that helps to find interesting places in Rostov-on-Don (wip)

csound-expression

Haskell Framework for Electronic Music

neural-enhance

Super Resolution for images using deep learning.

machine-learning-for-software-engineers

A complete daily plan for studying to become a machine learning engineer.

concept-params

Coq formalization of "concept parameters" for "generic" programming in STLC

wetty

Terminal in browser over http/https. (Ajaxterm/Anyterm alternative, but much better)

silicon

A high performance, middleware oriented C++14 http web framework please use matt-42/lithium instead

iod

Meta programming utilities for C++14. Merged in matt-42/lithium

GIgamejam

DiaryDroid

A simple android project made for Android Study Jams Rostov-on-Don 2016

statzilla-to-the-rescue

Time-killer game by statzilla.ru

glowy2d

2d graphics engine written in C++11 and OpenGL

rgb-warriors

c-of-x

a programming language with composable refinements and inverse functions inference

shapeless

Generic programming for Scala

pascalabcnet

The new generation Pascal programming language for .NET

Idris-dev

A Dependently Typed Functional Programming Language

scala

Scala 2 compiler and standard library. Scala 2 bugs at https://github.com/scala/bug; Scala 3 at https://github.com/scala/scala3