Pinned Repositories
am-ru-anki
bored_api_rust
CommanderTvis
commandertvis.github.io
My site for github.io :)
compose-calc
reflekt
A plugin for Kotlin compiler for compile-time reflection
kotlin
The Kotlin Programming Language.
communicator
Polyglot and distributed scientific function call library
kmath
Kotlin mathematics extensions library
kmath-gsl
GNU Scientific Library support for KMath
CommanderTvis's Repositories
CommanderTvis/am-ru-anki
CommanderTvis/CommanderTvis
CommanderTvis/commandertvis.github.io
My site for github.io :)
CommanderTvis/compose-calc
CommanderTvis/bbf
Kotlin compiler fuzzer and reduktor
CommanderTvis/code-assert
Assert that the java code of a project satisfies certain checks.
CommanderTvis/core-js
Standard Library
CommanderTvis/definitions-graph
CommanderTvis/ds
CommanderTvis/editorial
editorial
CommanderTvis/final2021-2022
Решение Национальной технологической олимпиады по автоматизации бизнес-процессов, 2021-2022 учебный год (https://ntcontest.ru/tracks/nto-school/proekt-novogo-proizvodstva/avtomatizatsiya-bisnes-protsessov/)
CommanderTvis/fp-2024-cub-fall
This is a supplementary repository for the Introduction to Functional Programming course read at Constructor University Bremen at the fall term of 2024.
CommanderTvis/fsharp
The F# compiler, F# core library, F# language service, and F# tooling integration for Visual Studio
CommanderTvis/haywiki.github.io
CommanderTvis/json-schema-serialization
Adds support for Json Schema using Kotlin.serialization
CommanderTvis/kmath
Kotlin mathematics extensions library
CommanderTvis/kotbot
Bot for Kotlin chats in telegram.
CommanderTvis/kotlin
The Kotlin Programming Language
CommanderTvis/kotlin-jupyter-libraries
Library descriptors for Kotlin kernel for Jupyter
CommanderTvis/kotlin-telegram
Repository with information about Kotlin chats on Telegram.
CommanderTvis/kotlin-web-site
The Kotlin programming language website
CommanderTvis/kotlingrad
🧩 Shape-Safe Symbolic Differentiation with Algebraic Data Types
CommanderTvis/kotlinx.serialization
Kotlin multiplatform / multi-format serialization
CommanderTvis/lets-plot-kotlin
Kotlin API for Lets-Plot - an open-source plotting library for statistical data.
CommanderTvis/lets-plot-pie-chart
CommanderTvis/MineOS
Home of MineOS and it's software for OpenComputers mod
CommanderTvis/nand2tetris-hw-2024
Homeworks for Nand2tetris CompArch course Fall 2024
CommanderTvis/NewPipe
A libre lightweight streaming front-end for Android.
CommanderTvis/reflekt
A plugin for Kotlin compiler for compile-time reflection
CommanderTvis/wordleSolver
Proposes a word from a dictionary that matches the knowns in a popular worlde game