The Scala 3 compiler, also known as Dotty.

Scala Native bindings for the GNU Ncurses C library

Example repo to work with Stainless in Github Codespaces

A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.

Parallel collections standard library module for Scala 2.13+

Scala compiler plugin for static code analysis

Verification framework and tool for higher-order Scala programs

The Eldarica model checker

Sources of the EuroProofNet web site.

TriCera: a model checker for C programs

ASN1SCC: An open source ASN.1 compiler for embedded systems

Great Vibes fonts

An attempt at proving the correctness of a Stainless implementation of theOptimal Purely Functional Priority Queues introduced by Chris Okasaki and Gerth Stølting Brodal

Bayard is a full-text search and indexing server written in Rust.

The HOL Light theorem prover (moved from Google code)

A simple and modern GTK eBook reader

Chromaprint/AcoustID audio fingerprinting for the JVM

a smol tcp/ip stack

A private messenger for Android.

The Liberation(tm) Fonts is a font family which aims at metric compatibility with Arial, Times New Roman, and Courier New.

A collection of TLA+ specifications of varying complexities

TensorFlow code and pre-trained models for BERT

A meta-JavaScript adventure game by Alex Nisnevich and Greg Shuflin.

Rant – The all-purpose procedural text library

An example of an empty Scala project you can clone and play with

Mapping Language to Code in a Programmatic Context