Pinned Repositories
minxmod
Minimalistic concurrent modeler
tree-sitter-kotlin
Kotlin grammar for Tree-Sitter
automata
DSL for cunstructing automata system
google-photos-timezone-fix
Iterates over photos in given Google Photos album and edits date/time/timezone of each photo in order to fix their order
intelcontest
abelian-unipotent
mburyakov's Repositories
mburyakov/intellij-platform-gradle-plugin
Gradle plugin for building plugins for IntelliJ-based IDEs
mburyakov/google-photos-timezone-fix
Iterates over photos in given Google Photos album and edits date/time/timezone of each photo in order to fix their order
mburyakov/mps-quotations
experiments with mps quotation language
mburyakov/Haskellfun
Experiments with Haskell/Frege in MPS
mburyakov/mpstypes
mburyakov/ANTLR_MPS
An ANTLR language for MPS, and the ToMPS language to help create MPS languages and ANTRL visitors from an ANTLR 4 grammar.
mburyakov/sync-checker
Script that deeply compares directories to ensure that all files from the left exists on the right
mburyakov/bifurcan
functional, durable data structures
mburyakov/tree-sitter-kotlin
Kotlin grammar for Tree-Sitter
mburyakov/mpstests
MPS Problems and Tests
mburyakov/mbeddr.core
The mbeddr core. An extensible C
mburyakov/fgallery
a modern, minimalist javascript photo gallery
mburyakov/abelian-unipotent
mburyakov/tex.s2cms.ru
S2 LaTeX Renderer
mburyakov/robots
Code for robot competition
mburyakov/hoq
A language based on homotopy type theory with an interval
mburyakov/IPod-Shuffle-4g
Scripts for IPod Shuffle 4g
mburyakov/bachelor
mburyakov/tmsu-helpers
helpers for tmsu (deprecated)
mburyakov/trellis
mburyakov/manySound
mburyakov/metamath
Small system manipulating with mathematical expressions
mburyakov/mpsstatecharts
Statecharts language with translation to SPIN and NuSMV
mburyakov/entropy
Some demonstrations about information theory
mburyakov/eyesguard
This program will help you to keep your vision in order!
mburyakov/minxmod
Minimalistic concurrent modeler
mburyakov/automata
DSL for cunstructing automata system
mburyakov/intelcontest