Highlights
- Pro
Stars
Empowering everyone to build reliable and efficient software.
GraalVM compiles applications into native executables that start instantly, scale fast, and use fewer compute resources 🚀
IntelliJ IDEA & IntelliJ Platform
♞ lichess.org: the forever free, adless and open source chess server ♞
Most popular Mocking framework for unit tests written in Java
A free and strong UCI chess engine
A friendly programming language from the future
Kotlin multiplatform / multi-format serialization
Powerful, elegant and flexible test framework for Kotlin with assertions, property testing and data driven tests.
A Dependently Typed Functional Programming Language
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…
Immutable persistent collections for Kotlin
An experimental library for Functional Reactive Programming in Scala
Sound As Pure Form - a Forth-like language for audio synthesis using lazy lists and APL-like auto-mapping.
A dependently typed programming language, a successor to Idris
A simple example language built using the Truffle API.