UE4SS-RE / RE-UE4SS
Injectable LUA scripting system, SDK generator, live property editor and other dumping utilities for UE4/5 games
☆1,350Updated this week
Related projects ⓘ
Alternatives and complementary repositories for RE-UE4SS
- A program logic for concurrent randomized programs☆11Updated 6 years ago
- Coq library for working with de Bruijn indices [maintainer=@KevOrr]☆30Updated 3 years ago
- Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [mai…☆29Updated 2 weeks ago
- An enhanced unification algorithm for Coq☆49Updated 5 months ago
- proof script associated to tutorial material☆17Updated last year
- Some scripts to help construct small reproducing examples of bugs, implement [Proof using], etc.☆39Updated 3 weeks ago
- A Coq library providing tactics to deal with hypothesis☆20Updated 11 months ago
- A Library for Classical Propositional Logic in Agda☆15Updated 5 years ago
- A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.☆17Updated 2 weeks ago
- Coq plugin for parametricity [maintainer=@proux01]☆44Updated 2 months ago
- The Steel separation logic library for F*☆31Updated last month
- Inline, type safe X86-64 assembly programming in Agda☆66Updated 5 years ago
- Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]☆26Updated last week
- Coq formalization of decision procedures for regular expression equivalence [maintainer=@anton-trunov]☆13Updated 4 months ago
- Ring, field, lra, nra, and psatz tactics for Mathematical Components☆32Updated 2 months ago
- Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainers=@erikmd,@himito]☆37Updated 2 months ago
- A formalization of properties of a simple imperative, memory-safe language.☆19Updated 3 years ago
- ☆28Updated last year
- Coq library on rewriting theory and termination☆35Updated 2 weeks ago
- Agda formalization of Intuitionistic Propositional Logic☆22Updated last year
- A collection of mechanised proofs☆16Updated 4 years ago
- Formalization of Typed Assembly Language (TAL) in Coq☆17Updated 8 months ago
- A rosetta stone for metaprogramming in Coq, with different examples of tactics, plugins, etc implemented in different metaprogramming lan…☆17Updated 9 months ago
- Benchmark repository of polyglot effect handler examples☆20Updated last week
- Partial Commutative Monoids☆26Updated 2 weeks ago
- A blog about Coq☆10Updated 3 years ago
- Template project for Coq plugins using the Dune build system, showcasing some advanced features [maintainer=@ejgallego]☆18Updated last year
- Paradox model finder and equinox theorem prover for first-order logic.☆20Updated 11 months ago
- All the code I've ever written in Ltac2☆11Updated 3 years ago
- This project contains various supporting libraries for lean to reason about protocols.☆42Updated 7 years ago
- Tactic for polynomial manipulations☆10Updated 9 months ago