I hereby certify that I am the sole author of this thesis. All the used materials, references to the literature and the work of others have been referred to. This thesis has not been presented for examination anywhere else. (more…)

a pragmatic point-free theorem prover assistant. Contribute to advancedresearch/poi development by creating an account on GitHub. (more…)

Migrate C code to Rust. Contribute to immunant/c2rust development by creating an account on GitHub. (more…)

Welcome to the this workshop! In this hands-on workshop, we will guide you through the process of building a full stack application using Rust for the API, Actix-Web as the web framework, SQLx for database connectivity, Dioxus for the front-end, and Shutt... (more…)

Elrond network is soon launching its blockchain mainnet. In anticipation of this I decided to hav... (more…)