Lorikeet

Lorikeet

Scalafix-based code quality feedback tool with custom rule definitions via query patterns.

Scalafix-based linting and automated grading framework with custom rule definitions via semantic query patterns and rewrite templates. Supports batch student submission checking, formatting feedback, and developer assistance. Scripts included for testing, publishing, and evaluation.

Code Analysis
Key facts
Maturity
Support
C4DT
Inactive
Lab
Active
  • Technical

Systems and Formalisms Lab

Systems and Formalisms Lab
Clément Pit-Claudel

Prof. Clément Pit-Claudel

We're a programming languages, formal methods, and systems engineering lab at EPFL, led by Clément Pit-Claudel. We use (and invent!) mathematical formalisms and interactive tools to explore new ways to develop computer systems.

This page was last edited on 2026-03-03.