lzlib bindings for ATS
-
Updated
Mar 25, 2020 - ATS
lzlib bindings for ATS
Research paper On The Termination of Borrow Checking for Rust and a web application, CLI application and VSCode extension for running static analysis of rust-based smart contracts with a ready-to-be-verified project example.
D for a safer linux kernel using dpp
Diving into Rust: My initial steps in learning a new language
CS431 - Computer Network and Security.
LLVM 11 compiler pass for HardBound instrumentation
Blazingly fast ⚡ back-end to learn quickly and remember for long-term
MaidEditor is a sleek and powerful code editor built from scratch using the Rust programming language. It is designed to provide developers with a highly efficient and enjoyable coding experience. With its clean and intuitive interface, MaidEditor offers a seamless workflow that caters to both novice and expert programmers.
Virtual Prototype with symbolic execution support and HardBound path analyzer
A safer C++ smart pointer with the semantics of unique_ptr and with the memory safety and rule-of-zero benefits of shared_ptr
Rust's Safety Net: Crafting Memory-Safe Applications
🔐 Dive into Rust's security features with example codes from a university presentation at Technische Hochschule Georg Simon Ohm, covering topics like safe concurrency, error handling, and zero-cost abstractions.
Renesas RX port for R3-OS (WIP)
Header-only implementation of SECDED encoding as C/C++ constant expressions
A project to showcase my experience in secure C programming.
Exprimo is a JavaScript expression evaluator written in Rust.
Front-end libraries and utilities for the Transmuter language processing infrastructure
Add a description, image, and links to the memory-safety topic page so that developers can more easily learn about it.
To associate your repository with the memory-safety topic, visit your repo's landing page and select "manage topics."