Pinned Repositories
BattleFox
A modern Procon replacement for Battlefield 4.
bevy-shadows
shadows for the bevy game engine
Lean-HoSmt
Towards a Higher-Order Lean 4 Hammer
lean-reflection
For all inductive types, ...
lean-wgpu
memory_spider
Handy (hopefully as type-safe as it gets) tool for reading other processes' memory, e.g. to facilitate cheats or reading memory offsets obtained from CheatEngine.
Kiiyya's Repositories
Kiiyya/BattleFox
A modern Procon replacement for Battlefield 4.
Kiiyya/lean-wgpu
Kiiyya/memory_spider
Handy (hopefully as type-safe as it gets) tool for reading other processes' memory, e.g. to facilitate cheats or reading memory offsets obtained from CheatEngine.
Kiiyya/Lean-HoSmt
Towards a Higher-Order Lean 4 Hammer
Kiiyya/rs-process-memory
A rust library that allows you to read/write into the memory of other processes
Kiiyya/bevy-shadows
shadows for the bevy game engine
Kiiyya/diesel.rs-website
Kiiyya/duper
Kiiyya/lean-reflection
For all inductive types, ...
Kiiyya/rcon_cli
Raw RCON command-line tool to talk with BF4 servers.
Kiiyya/unasync
Un-Async. Using !Send and !Sync objects from async context
Kiiyya/Idris2
A purely functional programming language with first class types
Kiiyya/iit
Lean 4 IITs
Kiiyya/lean-auto
Experiments in automation for Lean
Kiiyya/lean4
Lean 4 programming language and theorem prover
Kiiyya/maud
:pencil: Compile-time HTML templates for Rust
Kiiyya/net-ipfs-api
InterPlanetary File System API for .Net (C#, VB, F# ...)
Kiiyya/Rocket
A web framework for Rust.
Kiiyya/rust-csv
A CSV parser for Rust, with Serde support.
Kiiyya/space-gaem
Kiiyya/verifiedVotingRuleConstruction
A Framework for the Verified Construction of Fair Voting Rules
Kiiyya/wkhtmltopdf-rs
High-level Rust bindings for wkhtmltopdf