winter-yuki

LambdaRPC.kt

Simple native RPC with high-order functions support

kotlin-self-types

Self types design for Kotlin language

kapacity

Kotlin compiler plugin that adds shallowSize extension property to all data classes

archbench

Benchmarking java server architectures performance

bash

communicator

Polyglot and distributed scientific function call library

compilers-supplementary

ConstInspection

Same inspection message for all opened project files

coq-supplementary

A supplementary Coq workout repository

dataforge-core

A clean multi-platform re-implementation of dataforge concepts

Diary

All your work is what you write. Everything you write is your Diary

DT2022

Dependent types 2022

fp-zipslens

intellij-lua

Simple Lua language plugin for IntelliJ Platform

KEEP

Kotlin Evolution and Enhancement Process

kotlin

The Kotlin Programming Language.

kotlin-spec

Kotlin Language Specification

Lama

LambdaRPC.jl

Simple native RPC with high order functions support

learn-braille

Android application to teach Braille writing system. Inspired by stepik.org and Anki

libsaferead

Simple utility library to read arbitrary address without program crash

lscache

meta

Some metaprogramming

nanoparsek

Simple parser combinators on Kotlin.

Nebash

Simple bash clone

RoliK

Simple ROgueLIke game engine for Kotlin

Shlang

Simple healthy programming language

StudyCenter

Service that makes educational comunication easier

truffle-lama

Lama language implementation using the Truffle API.

winter-yuki.github.io