Volham22
Follow
Lists (1)
Stars
A static verifier for Rust, based on the Viper verification infrastructure.
Creusot helps you prove your code is correct in an automated fashion.
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
A new markup-based typesetting system that is powerful and easy to learn.
The Refactoring library based off the Refactoring book by Martin Fowler
Regard is a self-hosted tool written in Rust and React that tracks the time you spend working on specific projects and displays it using a GUI/CLI. 🦀⚛️
Cargo subcommand to simplify building Nintendo Switch projects
A CLI tool that automatically writes commit messages for you.
Rmt is similar to the rm command but saves the deleted elements in the trash and restores them. Rmt is written in Rust 🦀
🧑💻 Small training project in React, NodeJs, Express and MangoDB 🧑💻
📚 Learn to write an embedded OS in Rust 🦀
It's a New Kind of Wrapper for Exposing LLVM (Safely)
📝 Do you use several commands in your terminal, one after the other? This tool allows you to combine multiple templated bash commands with the alias of your choice and many others.
An Emacs framework for the stubborn martian hacker
Decompilation of The Legend of Zelda: Ocarina of Time
A dead simple functional testing tool for command line applications
YouTube Music Desktop App bundled with custom plugins (and built-in ad blocker / downloader)
Header-only Perlin noise library for modern C++ (C++17/C++20)
Chocolate Doom is a Doom source port that is minimalist and historically accurate.
🎮 A step-by-step guide to implementing SSAO, depth of field, lighting, normal mapping, and more for your 3D game.
Render lab built on top of vulkan, aiming to create a real time planet scale large scene. Also some widely adopted techs are implemented, such as deferred rendering, physical based rendering, bloom…
A Vulkan and OpenGL overlay for monitoring FPS, temperatures, CPU/GPU load and more. Discord: https://discordapp.com/invite/Gj5YmBb
Seamless operability between C++11 and Python
Open source C++ physics engine library in 3D