lean4

streaming-algorithms

jvm

LaTeX

LaTeX is a document preparation system.

Database

A database is a structured set of data held in a computer, usually a server.

Testing

The act of examining behavior of the software under test to eliminate bugs and ship with more confidence.

Maven

Maven is a build automation tool used primarily for Java projects.

Crystal

Crystal is a self-hosted, general purpose programming language.

Android

Android is an operating system built by Google designed for mobile devices.

javax-sound

Haskell

Haskell is a functional programming language with non-strict semantics, and strong static typing.

Rust

Rust is a systems programming language created by Mozilla.

embedded-rust

TypeScript

TypeScript is a typed superset of JavaScript that compiles to plain JavaScript.

Flutter

Flutter is an open source mobile application development SDK created by Google.

Scala

Scala is an object-oriented programming language.