Languages Features Creators CSV Resources Challenges Add Language
GitHub icon

hacspec

hacspec - Programming language

< >

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

#1349on PLDB 5Years Old 219Users
0Books 0Papers

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; }
qif.html 路 hacspec.html 路 manool.html

View source

- Build the next great programming language Search Day 215 About Blog Acknowledgements Traffic Traffic Today GitHub feedback@pldb.com