Top 1K Features Creators Events Podcasts Books Extensions Interviews Blog Explorer CSV

hacspec

< >

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

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

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; }

- Build the next great programming language Add Issues About Search Keywords Livestreams Labs Resources Acknowledgements

Built with Scroll v148.1.0