The perfect companion for your Kotlin journey - Inspired by functional, data-oriented and concurrent programming
- functional-programming
- kotlin-library
- monads
- functional-data-structure
Repository Index
86,576 visible repositories in the index
97–120 of 1,030 · Most stars
🐤 The friendly full-stack language
- programming-language
- javascript
- imba
- dom
Functional reactive programming library for TypeScript and JavaScript
Powerful scripting language & versatile interactive shell
SWIG is a software development tool that connects programs written in C and C++ with a variety of high-level programming languages.
The home of the CUE language! Validate and define text-based and dynamic configuration
- data
- validation
- configuration
- kubernetes
TranslatedPUER Typescript. Let's write your game in UE or Unity with TypeScript.
- unity
- typescript
- javascript
- v8
🐼 Universal, Type-Safe, CSS-in-JS Framework for Design Systems ⚡️
- css
- styled-system
- typescript
- utility-classes
Pony is an open-source, actor-model, capabilities-secure, high performance programming language
- pony-language
- pony-source
- ponyc
- programming-language
WebAssembly Micro Runtime (WAMR)
- wasm
- runtime
- interpreter
- aot
A fast, friendly, functional language.
- functional-language
- functional-programming
- language
- roc-lang
vʌvr (formerly called Javaslang) is a non-commercial, non-profit object-functional library that runs with Java 8+. It aims to reduce the lines of code and increase code quality.
- javaslang
- java
- functional-programming
- object-functional
A small, fast, and embeddable programming language based on Lua with a gradual type system.
- lua
- programming-language
- scripting-language
A statically typed lisp, without a GC, for real-time applications.
Red is a next-generation programming language strongly inspired by Rebol, but with a broader field of usage thanks to its native-code compiler, from system programming to high-level scripting and cross-platform reactive GUI, while providing modern support for concurrency, all in a zero-install, zero-config, single ~1MB file!
Lark is a parsing toolkit for Python, built with a focus on ergonomics, performance and modularity.
- parser
- parsing-library
- parser-library
- parsing-engine
Translated📌 Asynchronous thread pool framework, support Thread Pool Dynamic Change & monitoring & Alarm, no need to modify the code easily introduced.
- java
- thread-pool
- dynamic
- monitor
Performance-portable, length-agnostic SIMD with runtime dispatch
- simd
- simd-instructions
- simd-programming
- intrinsics
A music programming language for musicians. :notes:
- music
- programming-language
- music-programming-language
- music-composition
Zero-cost asynchronous programming in Rust
- async-foundations
The framework for building with WebAssembly (wasm). Easily & securely load wasm modules, move data, call functions, and build extensible apps.
- plugin-system
- c
- cpp
- go
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
- proof-assistant
- coq
- theorem-proving
- dependent-types
QLExpress is a powerful, lightweight, dynamic language for the Java platform aimed at improving developers’ productivity in different business scenes.
SkiaSharp is a cross-platform 2D graphics API for .NET platforms based on Google's Skia Graphics Library. It provides a comprehensive 2D API that can be used across mobile, server and desktop models to render images.