Mikhail Belyaev's repositories
kotlin-grammar
Antlr4 kotlin grammar sketching process
algo
Set up a personal IPSEC VPN in the cloud
Language:PythonMIT000
Language:Python000
Language:Python000
docker-arch-yaourt
A simple docker base image that provides aur access via yaourt
000
Language:C++000
grammars-v4
Grammars written for ANTLR v4; expectation that the grammars are free of actions.
Language:ANTLR000
Language:Kotlin000
Language:C++MIT000
kotlin-lens
Proof-of-concept lens library in Kotlin
Language:KotlinMIT000
kotlin-quasi-reflection
A set of simple static type-fuzz helpers designed to overcome Kotlin's current lack of decent reflection.
Language:KotlinMIT000
Language:Kotlin000
KotlinAsFirst
Tasks for the future course "Kotlin as first language"
Language:Kotlin000
Language:Kotlin000
KotlinAsFirst2018
Base repo for the Kotlin course (2018)
Language:KotlinCC-BY-SA-4.0000
kt-grammar-tester
Tree structures analyser
Language:ANTLR000
kTIP
Trying to reimplement TIP in Kotlin
Language:Kotlin000
named-operator
Named operators for C++
Language:C++Apache-2.0000
pandoc-filters
My pandoc filter set
Language:Haskell000
symengine
SymEngine is a fast symbolic manipulation library, written in C++
Language:C++NOASSERTION000
Language:C++MIT000
z3
The Z3 Theorem Prover
Language:C++NOASSERTION000