Pinned Repositories
aeval
AE-solver and Skolemizer
c-ares
A C library for asynchronous DNS requests
cached_mongo_json_server_docker
Continuation
A repo to experiment with Continuation<R, A> implementations in Kotlin
contracts-verification-task
curves-dsl
cv
dining_philosophers
dokka
Documentation Engine for Kotlin
ktor
Framework for quickly creating connected applications in Kotlin with minimal effort
vmishenev's Repositories
vmishenev/ktor
Framework for quickly creating connected applications in Kotlin with minimal effort
vmishenev/c-ares
A C library for asynchronous DNS requests
vmishenev/cached_mongo_json_server_docker
vmishenev/Continuation
A repo to experiment with Continuation<R, A> implementations in Kotlin
vmishenev/contracts-verification-task
vmishenev/curves-dsl
vmishenev/cv
vmishenev/dining_philosophers
vmishenev/dokka
Documentation Engine for Kotlin
vmishenev/hands-on
vmishenev/KEEP
Kotlin Evolution and Enhancement Process
vmishenev/key_value_server
vmishenev/kotlin
The Kotlin Programming Language.
vmishenev/kotlin-by-example
Kotlin By Example
vmishenev/kotlin-compiler-server
Server for executing kotlin code
vmishenev/kotlin-dokka-stdlib
vmishenev/kotlin-libui
Kotlin/Native interop to libui: a portable GUI library
vmishenev/kotlin-samples-verifier
Kotlin documentation testing tool
vmishenev/kotlin-web-site
The Kotlin programming language website
vmishenev/kt-samples
vmishenev/misynth
vmishenev/mongo_transpiler
vmishenev/pract_min_task
vmishenev/pyexec
vmishenev/rest_echo_server_docker
vmishenev/sample-js-project
vmishenev/sample_patterns
vmishenev/simple-parser-checker
vmishenev/symbolic-executor
Symbolic executor for toy language
vmishenev/z3
The Z3 Theorem Prover