non-softmax-attention • Science 54%

fb-bev • Science 54%

Official PyTorch implementation of FB-BEV & FB-OCC - Forward-backward view transformation for vision-centric autonomous driving perception

fenicsxconcrete • Science 54%

12 • Science 31%

amoxclavcalc • Science 18%

idah-test • Science 44%

https://github.com/bezerragrasi/slides • Science 13%

Public facing homepage for MSci Romanzini-Bezerra's slides collection.

lab-website • Science 44%

palm-trees • Science 18%

Palm Trees Dataset

https://github.com/bf-malefiz/machine-learning-fundamentals • Science 13%

site • Science 44%

Source code for the HIL website

https://github.com/bf-malefiz/beleg-wissensrep • Science 13%

2025-02-17-rdade • Science 31%

golang • Science 13%

Run go code in Python.

https://github.com/bg-omar/livelatex • Science 26%

IDEA IntelliJ Plugin

https://github.com/bg-omar/consolelogger • Science 13%

IntelliJ Plugin to quickly create & delete multiple console.logs

https://github.com/bg-omar/arduino-uno-r4---robot-tank • Science 13%

My projects

https://github.com/bg-omar/vamcore • Science 26%

Pythoc C++ library for heavy duty calculations

formal-verification-of-the-session-protocol • Science 44%

This repository contains the resources and files related to the formal verification of the Session protocol using the Tamarin prover. The work focuses on verifying the security properties of the Session protocol in the symbolic model, encompassing peer-to-peer message delivery and onion routing.

https://github.com/bg-omar/android-vlc-remote • Science 13%