Pinned Loading

1. Elden-Ring_Improved-Selectors Elden-Ring_Improved-Selectors Public

   Rework of Elden Ring's weapon, spell and item selection system.

   Rust

2. Dafny-rust-dll_template Dafny-rust-dll_template Public

   Template repo for making code in Dafny. Compiles to a DLL that runs dafny method main.entry_point in a new thread.

   PowerShell

3. Elden-Ring_Magic-Selector Elden-Ring_Magic-Selector Public

   Elden Ring mod that lets you select spells more easily. HEAVILY WIP. I'll probably remake this repo entirely once I organise everything.

   Rust