federicoops
Assistant Professor @Unipisa | Computer arithmetic, formal verification and open-hardware platforms
Universita` degli Studi di PisaPisa, Italy
federicoops's Stars
sharc-lab/HLSFactory
HLSFactory: A Framework Empowering High-Level Synthesis Datasets for Machine Learning and Beyond
vinta/awesome-python
An opinionated list of awesome Python frameworks, libraries, software and resources.
jcheng5/llm-quickstart
emish89/italiapersonalfinance
A neobrutalist Astro wiki for Italia Personal Finance Reddit community
docker/awesome-compose
Awesome Docker Compose samples
unipi-dii-mlverif/torchverif
federicoops/cppposit
Implementation of John L. Gustafson Unum Type III aka Posits using C++ Templates
pytorch/pytorch
Tensors and Dynamic neural networks in Python with strong GPU acceleration
NeuralNetworkVerification/Marabou
urbanij/posit
A Rust implementation of the posit number system
meta-llama/llama3
The official Meta Llama 3 GitHub site
ventoy/Ventoy
A new bootable USB solution.
kyegomez/BitNet
Implementation of "BitNet: Scaling 1-bit Transformers for Large Language Models" in pytorch
fudan-generative-vision/champ
Champ: Controllable and Consistent Human Image Animation with 3D Parametric Guidance
yenchenlin/nerf-pytorch
A PyTorch implementation of NeRF (Neural Radiance Fields) that reproduces the results.
SRI-CSL/PVS
The People's Verification System
adam-maj/tiny-gpu
A minimal GPU design in Verilog to learn how GPUs work from the ground up
Project-Argonauti/asigninspace-data
This repository contains data (raw, binaries, images, etc...) pertaining "A Sign In Space" challenge
RogueEdit/pyRogue
Educational Project
MatthieuCourbariaux/BinaryNet
Training Deep Neural Networks with Weights and Activations Constrained to +1 or -1
eliben/pyelftools
Parsing ELF and DWARF in Python
Lramseyer/vaporview
Waveform Viewer Extension for VScode
ocornut/imgui
Dear ImGui: Bloat-free Graphical User interface for C++ with minimal dependencies
itayhubara/BinaryNet.pytorch
Binarized Neural Network (BNN) for pytorch
WillGreen/VoxelSpace
Terrain rendering algorithm in less than 20 lines of code
pyuvm/pyuvm
The UVM written in Python
Th3Spl/IoCreateDriver
IoCreateDriver Implementation, it can be handful if you're trying to bypass anticheats
rejunity/z80-open-silicon
Z80 open-source silicon clone. Goal is to become a silicon proven, pin compatible, open-source replacement for classic Z80.
PromtEngineer/localGPT
Chat with your documents on your local device using GPT models. No data leaves your device and 100% private.
zylon-ai/private-gpt
Interact with your documents using the power of GPT, 100% privately, no data leaks