Skip to content
View schleifenkauz's full-sized avatar
🏠
Working from home
🏠
Working from home

Highlights

  • Pro

Block or report schleifenkauz

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Empowering everyone to build reliable and efficient software.

Rust 108,562 14,191 Updated Dec 16, 2025

The Kotlin Programming Language.

Kotlin 52,013 6,159 Updated Dec 16, 2025

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

Java 21,366 1,761 Updated Dec 16, 2025

IntelliJ IDEA & IntelliJ Platform

Java 19,352 5,634 Updated Dec 16, 2025

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

Scala 17,463 2,519 Updated Dec 16, 2025

Most popular Mocking framework for unit tests written in Java

Java 15,339 2,648 Updated Dec 15, 2025

A free and strong UCI chess engine

C++ 14,298 2,706 Updated Dec 3, 2025

AI Code Completions

Shell 10,811 533 Updated Sep 4, 2025

Java Native Access

Java 8,866 1,690 Updated Dec 9, 2025

A friendly programming language from the future

Haskell 6,439 291 Updated Dec 15, 2025

The Scala 3 compiler, also known as Dotty.

Scala 6,163 1,124 Updated Dec 16, 2025

Kotlin multiplatform / multi-format serialization

Kotlin 5,834 667 Updated Dec 12, 2025

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

Kotlin 4,712 695 Updated Dec 10, 2025

Koka language compiler and interpreter

Koka 3,765 193 Updated Dec 5, 2025

Lightweight JavaFX Framework for Kotlin

Kotlin 3,656 271 Updated Apr 13, 2023

Kotlin Evolution and Enhancement Process

Markdown 3,643 376 Updated Dec 15, 2025

A Dependently Typed Functional Programming Language

Haskell 3,472 632 Updated Feb 17, 2025

Painless Kotlin Dependency Injection

Kotlin 3,318 176 Updated Nov 20, 2025

Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with th…

Haskell 3,199 732 Updated Dec 16, 2025

Using Mockito with Kotlin

Kotlin 3,161 205 Updated Dec 15, 2025

lamdu - towards the next generation IDE

Haskell 1,880 73 Updated Dec 15, 2025

Immutable persistent collections for Kotlin

Kotlin 1,368 66 Updated Dec 15, 2025

LLVM-based compiler for Go

Go 1,252 80 Updated Jan 5, 2015

Haskell LLVM JIT Compiler Tutorial

Haskell 1,044 127 Updated Apr 21, 2020

An experimental library for Functional Reactive Programming in Scala

Scala 989 79 Updated Jun 10, 2023

Simple and clean testing for JavaFX.

Java 957 172 Updated Feb 12, 2024

Sound As Pure Form - a Forth-like language for audio synthesis using lazy lists and APL-like auto-mapping.

C++ 914 46 Updated Oct 15, 2025

A dependently typed programming language, a successor to Idris

Idris 900 56 Updated Aug 11, 2020

A simple example language built using the Truffle API.

Java 637 213 Updated Mar 21, 2025
Next