schleifenkauz

schleifenkauz's Stars

• aatishb/synthesine

  Synthesine

  Language:HTML284

• codota/TabNine

  AI Code Completions

  Language:Shell10.7k502

• edwinb/Idris2-boot

  A dependently typed programming language, a successor to Idris

  Language:Idris90157

• graalvm/simplelanguage

  A simple example language built using the Truffle API.

  Language:Java614200

• denki/listings-rust

  A Rust language and style specification for the LaTeX-package listings

  Language:TeX17429

• pure4j/pure4j

  Compile-Time Purity and Immutability Semantics For The Java Language

  Language:Java17411

• lichess-org/lila

  ♞ lichess.org: the forever free, adless and open source chess server ♞

  Language:Scala15.9k2.3k

• bkiers/CompGeom

  A computational geometry library using arbitrary-precision arithmetic where possible, written in Java.

  Language:Java2615

• unisonweb/unison

  A friendly programming language from the future

  Language:Haskell5.9k272

• official-stockfish/Stockfish

  A free and strong UCI chess engine

  Language:C++11.9k2.3k

• ValeriusGC/kundo

  Kotlin's Undo Framework to ease undo/redo operations and allow (de)serialize undo-stack to string

  Language:Kotlin11

• oracle/graal

  GraalVM compiles Java applications into native executables that start instantly, scale fast, and use fewer compute resources 🚀

  Language:Java20.5k1.6k

• Kotlin/KEEP

  Kotlin Evolution and Enhancement Process

  Language:Markdown3.4k361

• Kotlin/kotlinx.serialization

  Kotlin multiplatform / multi-format serialization

  Language:Kotlin5.5k626

• Kotlin/kotlinx.collections.immutable

  Immutable persistent collections for Kotlin

  Language:Kotlin1.2k62

• vbauer/jackdaw

  Java Annotation Processor which allows to simplify development

  Language:Java31531

• gradle/kotlin-dsl-samples

  Samples builds using the Gradle Kotlin DSL

  Language:Kotlin3.7k434

• lamdu/lamdu

  lamdu - towards the next generation IDE

  Language:Haskell1.9k71

• npryce/hamkrest

  Hamcrest for Kotlin

  Language:Kotlin34431

• TestFX/TestFX

  Simple and clean testing for JavaFX.

  Language:Java927170

• vjames19/kotlin-futures

  A collections of extension functions to make the JVM Future, CompletableFuture, ListenableFuture API more functional and Kotlin like.

  Language:Kotlin836

• kosi-libs/Kodein

  Painless Kotlin Dependency Injection

  Language:Kotlin3.2k176

• mockito/mockito-kotlin

  Using Mockito with Kotlin

  Language:Kotlin3.1k202

• scala/scala3

  The Scala 3 compiler, also known as Dotty.

  Language:Scala5.9k1.1k

• lihaoyi/scala.rx

  An experimental library for Functional Reactive Programming in Scala

  Language:Scala98579

• edvin/tornadofx

  Lightweight JavaFX Framework for Kotlin

  Language:Kotlin3.7k272

• java-native-access/jna

  Java Native Access

  Language:Java8.6k1.7k

• rust-lang/rust

  Empowering everyone to build reliable and efficient software.

  Language:Rust100k12.9k

• sdiehl/kaleidoscope

  Haskell LLVM JIT Compiler Tutorial

  Language:Haskell1k131

• kotest/kotest

  Powerful, elegant and flexible test framework for Kotlin with assertions, property testing and data driven tests.

  Language:Kotlin4.5k652