Solver for higher-order functional programs, used by Stainless

This repository is now obsolete, see https://github.com/greedy/scala

The MMT Language and System

Towards changing things and see if it proofs

LL(1) parser combinators in Scala

Fast streams for Scala 3

cqrs+es in scala

Game events example (for talk)

Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"

Web based opetopic editor

A transactional programming language.

Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-type-variable constraints. Nevertheless, it's probably enough …

An experimental programming language.

Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.sigplan.org/details/POPL-2024-popl-research-papers/50)

A cross-platform debugging UI for `parsley-debug`, which runs outside of Scala.

Artifact for paper "super-charging Object-Oriented Programming through Precise Typing of Open Recursion" at ECOOP 2023 (https://2023.ecoop.org/details/ecoop-2023-papers/41)

A small functional language with effect inference based on Koka.

Checking Dependent Types with Normalization by Evaluation

The structural editor framework for mlang

Scala implementation of MuKanren

Experimental compiler for Bloom-like programming language

Compiler optimization for lazy mark scan/trial deletion (cycle collection algorithm used with reference counting)

Quilting with HoTT

Staged regular expression library for Scala 3

Source code for all p5wscala sketches

Ministatix specification of (mini)Scala name resolution