Top 1,000 Features Creators Events Podcasts Extensions Blog Explorer CSV Download

hacspec

< >

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

#988on PLDB 6Years Old
Download source code:
git clone https://github.com/hacspec/hacspec

A specification language for crypto primitives and more in 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; }

View source

- Build the next great programming language About Resources Acknowledgements Part of the World Wide Scroll