winter-yuki Goto Github PK

archbench

Benchmarking java server architectures performance

bash

cheat-sheets

Сommonly used math formulas

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

csclub-coq-course-spring-2021

A course on formal verification at https://compsciclub.ru/en, Spring term 2021

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

engy

Simple qt2d game engine and arcanoid as an example of usage

errors

How to work with errors

fp-zipslens

haskell-homework-template

imgy

Image manipulation & ray tracing

intellij-lua

Simple Lua language plugin for IntelliJ Platform

kapacity

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

keep

Kotlin Evolution and Enhancement Process

kotlin

The Kotlin Programming Language.

kotlin-self-types

Self types design for Kotlin language

kotlin-spec

Kotlin Language Specification

lama

lambdarpc.jl

Simple native RPC with high order functions support

lambdarpc.kt

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

lrp-2021

A supplementary repository for the course on logic and relational programming

lscache

meta

Some metaprogramming