Andrei Dobrescu andob

• Bucharest, Romania

Pinned Loading

1. An automated theorem prover based on Graham Priest's "An Introduction to Non-Classical Logic. From If to Is"

   Rust 2

2. A NES emulator written in rust

   Rust

3. libjpeg-turbo android bindings

   C 1

4. libmagic android bindings

   C