-
-
-
LogicDerivation Public
A shot at unification algorithm for deriving math logic theorems from axioms
-
-
-
-
-
-
-
-
-
-
AdventOfCode2022 Public
Advent of Code 2022 in Kotlin!
-
AdventOfCodeLeaderboard Public
Advent of Code private leaderboards downloader and aggregator
-
-
-
-
betaflight Public
Forked from betaflight/betaflightOpen Source Flight Controller Firmware
C GNU General Public License v3.0 UpdatedApr 25, 2022 -
-
-
-
CO2Meter Public
DIY simple CO2 concentration + Temperature & Humidity sensor
-
KotlinMultiplatformPlayground
-
PolyhedraExplorer Public
Interactive polyhedra explorer with animated transformations
-
-
cwa-app-android Public
Forked from corona-warn-app/cwa-app-androidNative Android app using the Apple/Google exposure notification API.
-
-
haworkslibs Public
A collection of Arduino libraries for home automation tasks
C UpdatedSep 25, 2020 -
-
kotlinx-reproducer-2109 Public
Forked from marc-christian-schulze/kotlinx-reproducer-2109Reproduces https://github.com/Kotlin/kotlinx.coroutines/issues/2109
Kotlin UpdatedJul 21, 2020
{{ message }}