Skip to content
View federicoops's full-sized avatar
🤒
Out sick
🤒
Out sick

Organizations

@unipi-dii-mlverif

Block or report federicoops

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
federicoops/README.md

Federico Rossi, Ph.D. 🕵️‍♂️

🚀 AI and HPC researcher | Software/Hardware engineering

Hi! I have some interesting repositories here in my profile.

🔬 Research Items

  1. cppposit C++17 Posit library
  2. dfarc Decoding Free ARithmetic Core generator: generation of 1-D look-up tables with integer space-transformation for decoding-free real number arithmetic operations
  3. ppu: Hardware design, implementation and verification of posit numbers

🧠 Neural networks and computer graphics

  1. emptyNN: a C++17 Deep Neural Network library focused on performance evaluation of computer architectures and numerical representations.
  2. OpenGLSceneBuilder: a rudimental scene compositor using JSON scenes and OpenGL for rendering. Texture, lighting and shadows are supported.
  3. TensorPosit: Tensorflow ported to use cppPosit library.

🥼 C++ experiments

  1. lambdaParamPacker: simple header to achieve variable signature lambda/functors inside STL containers via parameter packing and std::any
  2. sockpp: small RAII/SFINAE wrapper for plain TCP C sockets

🤖 Emulation

  1. sep8Emulator: C++ emulator of a didactic 16-bit processor. A bit outdated, still fancy. One of my first emulation projects

Pinned Loading

  1. cppposit cppposit Public

    Forked from unipi-dii-compressedarith/cppposit

    Implementation of John L. Gustafson Unum Type III aka Posits using C++ Templates

    C++ 4

  2. unipi-dii-compressedarith/tensorposit unipi-dii-compressedarith/tensorposit Public

    Posit-enabled tensorflow

    C++ 2 1

  3. unipi-dii-compressedarith/ppu unipi-dii-compressedarith/ppu Public

    Hardware implementation of Posit numbers

    SystemVerilog 3 2

  4. unipi-dii-compressedarith/dfarc unipi-dii-compressedarith/dfarc Public

    Decoding Free ARithmetic Core generator

    MATLAB

  5. eupilot-cini-mandown eupilot-cini-mandown Public

    Python

  6. unipi-dii-mlverif/torchverif unipi-dii-mlverif/torchverif Public

    Python 2