The pure asynchronous runtime for Scala

Principled Functional Programming in Scala

An archive of notes from Flix development meetings

A set that just requires equality.

Static program analysis for TIP

GUI (MVC) library in Flix

Website for åndsliv.dk

⭐️ A friendly language for building type-safe, scalable systems!

Code. Music. Live.

Formalisation of a capability machine and principles for reasoning about security properties

Breaking change detector for npm

JavaScript/TypeScript static analyzer for call graph construction, library usage pattern matching, and vulnerability exposure analysis

A fast, friendly, functional language.

The Lux Programming Language

Rust support for Mist Cloud

My custom LaTeX preambles for you to use!

A tool for fuzzing random optimized C programs and detect side-channel vulnerabilities.

A markup-based typesetting system that is powerful and easy to learn.

Banquet implementation

An API for ANSI terminal operations

A JSON parsing library in Flix

A simple parser combinator library for Flix

Research language for array processing in the Haskell/ML family