PhD Researcher.
Former Software Engineer
-
University of Manchester
- United Kingdom
- benmandrew.com
- https://orcid.org/0009-0009-8910-5899
Stars
3
stars
written in Rust
Clear filter
C++ `std::unique_ptr` that represents each object as an NFT on the Ethereum blockchain
An incremental type checker for a subset of C using DDlog.