benjishults's Stars
Tongji-KGLLM/RAG-Survey
dorny/test-reporter
Displays test results from popular testing frameworks directly in GitHub
mikepenz/action-junit-report
Reports junit test results as GitHub Pull Request Check
leanprover/lean3
Lean Theorem Prover
pdelfino/my-karabiner-elements-config
My configuration on Karabiner Elements to change things on macOS. Of course, with an Emacs' user bias :)
doctariDev/kotlin-tutorials
SmartThingsCommunity/smartapp-sdk-java
A collection of consumer-oriented Java (JVM) libraries for creating SmartApps and using the public API
SmartThingsCommunity/smartthings-core-sdk
SDK for calling the SmartThings API from JavaScript and TypeScript applications
Kotlin/kotlin-interactive-shell
Kotlin Language Interactive Shell
edgar-zigis/CoroutineRecipes
Playground for Kotlin Coroutines. Basics, Channels, Flows, useful examples & comparison to RxJava.
uchuhimo/konf
A type-safe cascading configuration library for Kotlin/Java/Android, supporting most configuration formats
greerviau/SnakeAI
Train a Neural Network to play Snake using a Genetic Algorithm
Kotlin/KEEP
Kotlin Evolution and Enhancement Process
mwyborski/Linux-Magic-Trackpad-2-Driver
spring-projects-experimental/spring-fu
Configuration DSLs for Spring Boot
benjishults/rpg
Kotlin challenges for the boy
konrad-kaminski/spring-kotlin-coroutine
Kotlin coroutine support for Spring.
fwcd/kotlin-language-server
Kotlin code completion, diagnostics and more for any editor/IDE using the Language Server Protocol
innoq/blog-native-java-graalvm
benjishults/bitnots
Tableau Theorem Prover
cederberg/grammatica
Grammatica is a C# and Java parser generator (compiler compiler)
kohesive/klutter
A mix of random small libraries for Kotlin, the smallest reside here until big enough for their own repository.
kosi-libs/Kodein
Painless Kotlin Dependency Injection
ReactiveX/RxKotlin
RxJava bindings for Kotlin
MarioAriasC/funKTionale
Functional constructs for Kotlin
Kotlin/kotlin-eclipse
Kotlin Plugin for Eclipse