Niyousha Najmaei's repositories
niyoushanajmaei.github.io
https://niyoushanajmaei.github.io
HoTT-book
A textbook on informal homotopy type theory
UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
POSWM
Partial Order Aware Sampling for Detecting Weak Memory Concurrency Bugs
VQE_for_J1J2
Finding the ground state of the J1-J2 model, using VQE algorithm
breast-cancer-decision-tree
breast cancer classification using the decision tree method
CIFAR10-classification-colorization
CIFAR10 classification and colorization
traffic-light-q-learning
Gym city flow traffic light using the qlearning method
mars-particle-filtering
Implementation of the particle filtering algorithm
othello-alpha-beta
AI agent to play Othello using the alphabet method
Sudoku-Solver-AC3-LCV-MRV
Solving Sudoku using AC3, LCV and MRV methods
Hardest-Game-Maze-with-Genetic-Algorithm
Solving the hardest game mazes using Genetic Algorithm
emotion-detection-from-text-python
Emotion Detection from Text
Mooc_Cert_Desc
Certificates and Course Descriptions of Moocs
product_description
Fine-tune and use GPT-Neo to generate product descriptions.
deep-learning-with-python-notebooks
Jupyter notebooks for the code samples of the book "Deep Learning with Python"
product_description_process
Code written to process and manipulate raw data to prepare it for training or inference for the product_description repository
gpt-neox
An implementation of model parallel autoregressive transformers on GPUs, based on the DeepSpeed library.
rfm_analysis
Analyses of a purchase log for enhancing marketing strategies including RFM analysis
gpt-neo
An implementation of model parallel GPT-2 and GPT-3-style models using the mesh-tensorflow library.
mesh-transformer-jax
Model parallel transformers in JAX and Haiku
AlgorithmPractice
Algorithm Practice, Summer 2021
AAP-02OGDLM
Fall 2020, Algorithm and Programming, 02OGDLM, Politecnico di Torino. My solutions of weekly labs, extra exercises and past exams.
DB-01RKWLM
Spring 2021, Introduction to Databases, 01RKWLM, Politecnico di Torino. My solutions of weekly labs and homeworks.
OOP-04JEYLM
Spring 2021, Object Oriented Programming, 04JEYLM, Politecnico di Torino. My solutions of weekly labs.
c11tester_for_weak_memory
Tool for testing programs with C/C++11 Atomics, Customised for Weak Memory
firedrill
Randomized Concurrency Testing for Erlang