Microsoft SEAL is an easy-to-use and powerful homomorphic encryption library.

Apple System Management Control (SMC) utility

Functional companion to Kotlin's Compiler

Parsing, analyzing, and comparing source code across many languages

lamdu - towards the next generation IDE

Grappa: scaling irregular applications on commodity clusters

Recursion schemes training examples and exercises

lists of most popular repositories for most favoured programming languages (according to StackOverflow)

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

Generalized bananas, lenses and barbed wire

Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens

Liquid Types For Haskell

Scientific computing with N-dimensional arrays

Reactive data-binding for Scala

Scala Scripting

A simple library for creating complex neural networks

The Leon system for verification, synthesis, repair

CodiMD - Realtime collaborative markdown notes on all platforms.

🍀Kotlin wrapper around SpannableStringBuilder to bring modern API

A crate which defines parsers for common programming language constructs using https://github.com/Marwes/combine

A macro for defining type operators in Rust.

A parser combinator library for Rust

A macro library that converts native imperative syntax to scalaz's monadic expressions

Minimal UI library for Android inspired by React

Kotlin Full-stack Application Example

A Kotlin API for generating .kt source files.

Kotlin bindings for JSON manipulation via Gson

Index classes, do not scan them!

Kotlin/Native infrastructure