Beast code in Giters

Vadim Mishenev's repositories

Continuation

A repo to experiment with Continuation<R, A> implementations in Kotlin

Language:KotlinApache-2.01 10

kotlin-samples-verifier

Kotlin documentation testing tool

Language:KotlinApache-2.01 10

kt-samples

Language:Kotlin1 20

ktor

Framework for quickly creating connected applications in Kotlin with minimal effort

Language:KotlinApache-2.01 10

c-ares

A C library for asynchronous DNS requests

Language:C++NOASSERTION010

cached_mongo_json_server_docker

Language:Python020

contracts-verification-task

Language:Kotlin010

curves-dsl

Language:Kotlin000

cv

Language:TeX000

dining_philosophers

Language:Java000

dokka

Documentation Engine for Kotlin

Language:KotlinApache-2.0010

hands-on

Apache-2.0010

KEEP

Kotlin Evolution and Enhancement Process

Language:MarkdownApache-2.0000

key_value_server

Language:Python000

kotlin

The Kotlin Programming Language.

Language:Kotlin000

kotlin-by-example

Kotlin By Example

MIT000

kotlin-compiler-server

Server for executing kotlin code

Language:KotlinApache-2.0000

kotlin-dokka-stdlib

Apache-2.0000

kotlin-libui

Kotlin/Native interop to libui: a portable GUI library

MIT000

kotlin-web-site

The Kotlin programming language website

Language:JavaScriptApache-2.0000

misynth

Language:C++NOASSERTION000

mongo_transpiler

Language:Java020

pract_min_task

Language:Java020

pyexec

Language:Java000

rest_echo_server_docker

Language:Python000

sample-js-project

Language:Kotlin020

sample_patterns

Language:Java020

simple-parser-checker

Language:Java000

symbolic-executor

Symbolic executor for toy language

Language:C++Apache-2.0000

z3

The Z3 Theorem Prover

Language:C++NOASSERTION000