Skip to content
#

multi-target

Here are 32 public repositories matching this topic...

A pure functional language written in words: a function carries its examples and postconditions, the compiler proves termination before anything runs and prints the checked program into C, C++, Go, Rust, Java, JavaScript, Elixir, Python or C#. Self-hosted; building it needs only cc and make.

  • Updated Sep 22, 2026
  • C

Add this topic to your repo

To associate your repository with the multi-target topic, visit your repo's landing page and select "manage topics."

Learn more