Pinned Repositories
archbench
Benchmarking java server architectures performance
bash
cheat-sheets
Сommonly used math formulas
communicator
Polyglot and distributed scientific function call library
compilers-supplementary
errors
How to work with errors
kotlin-self-types
Self types design for Kotlin language
LambdaRPC.kt
Simple native RPC with high-order functions support
penguin-boxx's Repositories
penguin-boxx/LambdaRPC.kt
Simple native RPC with high-order functions support
penguin-boxx/kotlin-self-types
Self types design for Kotlin language
penguin-boxx/archbench
Benchmarking java server architectures performance
penguin-boxx/bash
penguin-boxx/communicator
Polyglot and distributed scientific function call library
penguin-boxx/compilers-supplementary
penguin-boxx/ConstInspection
Same inspection message for all opened project files
penguin-boxx/coq-supplementary
A supplementary Coq workout repository
penguin-boxx/csclub-coq-course-spring-2021
A course on formal verification at https://compsciclub.ru/en, Spring term 2021
penguin-boxx/dataforge-core
A clean multi-platform re-implementation of dataforge concepts
penguin-boxx/Diary
All your work is what you write. Everything you write is your Diary
penguin-boxx/DT2022
Dependent types 2022
penguin-boxx/KEEP
Kotlin Evolution and Enhancement Process
penguin-boxx/kotlin
The Kotlin Programming Language.
penguin-boxx/kotlin-spec
Kotlin Language Specification
penguin-boxx/Lama
penguin-boxx/LambdaRPC.jl
Simple native RPC with high order functions support
penguin-boxx/learn-braille
Android application to teach Braille writing system. Inspired by stepik.org and Anki
penguin-boxx/libsaferead
Simple utility library to read arbitrary address without program crash
penguin-boxx/loom-play
penguin-boxx/manjaro-bootstrap
penguin-boxx/nanoparsek
Simple parser combinators on Kotlin.
penguin-boxx/Nebash
Simple bash clone
penguin-boxx/opo-effect-system
Supplementary prototype for the "One Plus One" paper
penguin-boxx/papers
penguin-boxx/penguin-boxx.github.io
penguin-boxx/RoliK
Simple ROgueLIke game engine for Kotlin
penguin-boxx/Shlang
Simple healthy programming language
penguin-boxx/StudyCenter
Service that makes educational comunication easier
penguin-boxx/truffle-lama
Lama language implementation using the Truffle API.