The first Scala macros' standard library.

Hearth fire starter

Adding rewrite logic style to athena

Multi-platform GPGPU computations with Scala, seamlessly 🚀

Causal separation diagrams

Automatic and customizable compile time transformations between similar case classes and sealed traits/enums, essentially a thing that glues your code. Scala 3 only. Or is it duct 🤔

Grammatical Framework core: compiler, shell & runtimes

An FP game engine for Scala.

Ongoing Lean formalisation of the proof of Fermat's Last Theorem

Demo showing how to use Github Actions to configure a CI / CD pipeline deploying a Dockerized Scala app to Azure using Terraform

Code from various chapters in OSTEP (http://www.ostep.org)

TypeScript-like theorem prover

Elm-inspired Scala UI library.

A modern supercompiler for call-by-value functional languages

A work-in-progress core language for Agda, in Agda

TurnKey artifact for Z3

An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.

The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to have full interop with TypeScript!

Alexander Grothendieck's 1972 talk at CERN, on scientific research

SYNCORDIAN a CRDT adversarial Fault tolerant, implemented on Elixir

Book about using Lean with How To Prove It

A repo showcasing how to use Scala 3 macros beyond the simple use cases

web search done right

Verified message-passing programs in Dotty

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