hacspec - Programming language

home edit

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

#880on PLDB

6Years Old

Download source code:

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

Homepage · Source Code

A specification language for crypto primitives and more in Rust.

Tags: programming language
hacspec is developed on GitHub and has 242 stars
Early development of hacspec happened in https://github.com/hacspec/hacspec/discussions
hacspec is written in Rust, Coq, TOML, Markdown, JSON, YAML, C, Make, Tex, Bourne shell, Dockerfile, Python, SVG, Logos
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;
}