LLVM

avm-semanticsruntimeverification/avm-semantics

Formal semantics of the Algorand Virtual Machine and TEAL smart contract language in the K framework for testing and verification.

Write a simple CLI application in Scala NativeItoYo16u/prettytable-native

A standalone CLI application built with Scala Native that pretty-prints CSV and JSON files as formatted tables in the terminal.

fractalsRusty-Bike/fractals

A Scala Native application that generates and visualizes various mathematical fractals with interactive controls.

k8s-clifsat/k8s-cli

CLI tools to generate Kubernetes resources for Akka, Play Framework, and Lagom-based applications.

adawebuigodunko/adawebui

A Web UI framework built with Ada and WebAssembly for creating interactive web applications.