signature-scheme

generic-programming

merkle-tree

refinement-types

Compiler

Compilers are software that translate higher-level programming languages to lower-level languages (e.g. machine code).

Programming language

A formal language that specifies a set of instructions that can be used to produce various kinds of output.

theorem-proving

proof-assistant

type-theory

dependent-types

z3

symbolic-execution

smt

verification

Scala

Scala is an object-oriented programming language.

Haskell

Haskell is a functional programming language with non-strict semantics, and strong static typing.

WebAssembly

WebAssembly is a web standard that defines a binary format and an assembly-like text format for executable code in Web pages.

Rust

Rust is a systems programming language created by Mozilla.