mburyakov Goto Github PK
Name: Mihail Buryakov
Type: User
Name: Mihail Buryakov
Type: User
An ANTLR language for MPS, and the ToMPS language to help create MPS languages and ANTRL visitors from an ANTLR 4 grammar.
DSL for cunstructing automata system
functional, durable data structures
Some demonstrations about information theory
This program will help you to keep your vision in order!
a modern, minimalist javascript photo gallery
Iterates over photos in given Google Photos album and edits date/time/timezone of each photo in order to fix their order
Experiments with Haskell/Frege in MPS
A language based on homotopy type theory with an interval
Gradle plugin for building plugins for IntelliJ-based IDEs
Scripts for IPod Shuffle 4g
The mbeddr core. An extensible C
Small system manipulating with mathematical expressions
Minimalistic concurrent modeler
experiments with mps quotation language
Statecharts language with translation to SPIN and NuSMV
MPS Problems and Tests
Code for robot competition
Script that deeply compares directories to ensure that all files from the left exists on the right
S2 LaTeX Renderer
helpers for tmsu (deprecated)
Kotlin grammar for Tree-Sitter
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.