hacspec - Programming language

home code edit

hacspec is a programming language created in 2018 by Franziskus Kiefer.

Source code:

git clone https://github.com/hacspec/hacspec

#1275on PLDB

6Years Old

A specification language for crypto primitives and more in Rust.

hacspec website
hacspec is developed on GitHub and has 133 stars
hacspec first developed in https://github.com/hacspec/hacspec/discussions
First announcement of hacspec
hacspec.org was registered in 2020
See also: (1 related languages)Rust

Example from the web:

pub type Res = (usize, usize);
pub enum ResTyp {
    Ok(Res),
}

pub fn test_simpl_fails() -> Res {
    match ResTyp::Ok((42, 42)) {
        ResTyp::Ok(res) => res,
    }
}

#[derive(Clone)]
pub struct MyTupleType(u16, u8);

pub fn test_tuple_destructuring() {
    let tuple = MyTupleType(1u16, 2u8).clone();
    let MyTupleType(_a, _b) = tuple;
}