Pinned Repositories
alloy-metrics
Artifacts for the paper "On Writing Alloy Models: Metrics and a new Dataset"
fm-playground
A Formal Method playground for limboole, Z3, nuXmv, Alloy, and Spectra
C_CPP
CAN-Networks
The goal is to control a virtual dashboard with a set of ECUs. Therefore it is necessary that the ECUs exchange information over the CAN bus. Each board realizes sensor functionality and additional logical functionality which controls the dashboard. The main task of this unit is to implement these ECUs.
Competitive-programming
:fire: Progress on the problem-solving.
FallingStar
A complete game with c++ and opengl.
limboole-vscode
Visual Studio Code extension for Limboole
PizzaPeddler
A Pizza management system using PL/pgSQL and Node.
seq2seq-e2b
An attention-based English to Bangla machine translation model using sequence to sequence learning with neural networks
smt-z3-vscode
VSCode extension for SMT2 language with Z3 solver
soaibsafi's Repositories
soaibsafi/CAN-Networks
The goal is to control a virtual dashboard with a set of ECUs. Therefore it is necessary that the ECUs exchange information over the CAN bus. Each board realizes sensor functionality and additional logical functionality which controls the dashboard. The main task of this unit is to implement these ECUs.
soaibsafi/Competitive-programming
:fire: Progress on the problem-solving.
soaibsafi/PizzaPeddler
A Pizza management system using PL/pgSQL and Node.
soaibsafi/seq2seq-e2b
An attention-based English to Bangla machine translation model using sequence to sequence learning with neural networks
soaibsafi/C_CPP
soaibsafi/FallingStar
A complete game with c++ and opengl.
soaibsafi/gendev.bot
materials for small rover robot used in Generative Development module
soaibsafi/github-backup
soaibsafi/InsulatorSSD
soaibsafi/limboole-vscode
Visual Studio Code extension for Limboole
soaibsafi/ScholaXplor
soaibsafi/smt-z3-vscode
VSCode extension for SMT2 language with Z3 solver
soaibsafi/SpinYolo
soaibsafi/TUC-Share-Python
Content sharing application with distributed block list services using FAST API (Python) and React.js.
soaibsafi/kindle-my-clippings-parser
Parser for Kindle highlighted text accorting to reading date and book name both into Test and JSON format.
soaibsafi/limboole-xtext-ls
Xtext Language Server (LSP) for Limboole
soaibsafi/mensa-telegram-bot
soaibsafi/project-euler-python
:fire:Progress over Projet Euler.
soaibsafi/ScaledYOLOv4
Scaled-YOLOv4: Scaling Cross Stage Partial Network
soaibsafi/soaibsafi
soaibsafi/soaibsafi.github.io