benjishults

benjishults's Stars

• Tongji-KGLLM/RAG-Survey

  1.7k118

• dorny/test-reporter

  Displays test results from popular testing frameworks directly in GitHub

  Language:TypeScript796201

• mikepenz/action-junit-report

  Reports junit test results as GitHub Pull Request Check

  Language:TypeScript298114

• leanprover/lean3

  Lean Theorem Prover

  Language:C++2.1k216

• pdelfino/my-karabiner-elements-config

  My configuration on Karabiner Elements to change things on macOS. Of course, with an Emacs' user bias :)

  61

• doctariDev/kotlin-tutorials

  Language:Kotlin1

• SmartThingsCommunity/smartapp-sdk-java

  A collection of consumer-oriented Java (JVM) libraries for creating SmartApps and using the public API

  Language:Java5046

• SmartThingsCommunity/smartthings-core-sdk

  SDK for calling the SmartThings API from JavaScript and TypeScript applications

  Language:TypeScript11454

• Kotlin/kotlin-interactive-shell

  Kotlin Language Interactive Shell

  Language:Java58836

• edgar-zigis/CoroutineRecipes

  Playground for Kotlin Coroutines. Basics, Channels, Flows, useful examples & comparison to RxJava.

  Language:Kotlin26014

• uchuhimo/konf

  A type-safe cascading configuration library for Kotlin/Java/Android, supporting most configuration formats

  Language:Kotlin30828

• greerviau/SnakeAI

  Train a Neural Network to play Snake using a Genetic Algorithm

  Language:Processing2.3k536

• Kotlin/KEEP

  Kotlin Evolution and Enhancement Process

  Language:Markdown3.4k360

• mwyborski/Linux-Magic-Trackpad-2-Driver

  Language:C49884

• spring-projects-experimental/spring-fu

  Configuration DSLs for Spring Boot

  Language:Java1.7k139

• benjishults/rpg

  Kotlin challenges for the boy

  Language:Kotlin1

• konrad-kaminski/spring-kotlin-coroutine

  Kotlin coroutine support for Spring.

  Language:Kotlin44869

• fwcd/kotlin-language-server

  Kotlin code completion, diagnostics and more for any editor/IDE using the Language Server Protocol

  Language:Kotlin1.6k203

• innoq/blog-native-java-graalvm

  Language:Java231

• benjishults/bitnots

  Tableau Theorem Prover

  Language:Kotlin31

• cederberg/grammatica

  Grammatica is a C# and Java parser generator (compiler compiler)

  Language:Java8735

• kohesive/klutter

  A mix of random small libraries for Kotlin, the smallest reside here until big enough for their own repository.

  Language:Kotlin1408

• kosi-libs/Kodein

  Painless Kotlin Dependency Injection

  Language:Kotlin3.2k174

• ReactiveX/RxKotlin

  RxJava bindings for Kotlin

  Language:Kotlin7k454

• MarioAriasC/funKTionale

  Functional constructs for Kotlin

  Language:Kotlin91471

• Kotlin/kotlin-eclipse

  Kotlin Plugin for Eclipse

  Language:Kotlin18666