niyoushanajmaei Goto Github PK

aap-02ogdlm

Fall 2020, Algorithm and Programming, 02OGDLM, Politecnico di Torino. My solutions of weekly labs, extra exercises and past exams.

algorithmpractice

Algorithm Practice, Summer 2021

breast-cancer-decision-tree

breast cancer classification using the decision tree method

c11tester_for_weak_memory

Tool for testing programs with C/C++11 Atomics, Customised for Weak Memory

cifar10-classification-colorization

CIFAR10 classification and colorization

ct4p

db-01rkwlm

Spring 2021, Introduction to Databases, 01RKWLM, Politecnico di Torino. My solutions of weekly labs and homeworks.

deep-learning-with-python-notebooks

Jupyter notebooks for the code samples of the book "Deep Learning with Python"

ea-keyboard-layout

emotion-detection-from-text-python

Emotion Detection from Text

entanglement-distillation-protocols

report

firedrill

Randomized Concurrency Testing for Erlang

gpt-neo

An implementation of model parallel GPT-2 and GPT-3-style models using the mesh-tensorflow library.

gpt-neox

An implementation of model parallel autoregressive transformers on GPUs, based on the DeepSpeed library.

hardest-game-maze-with-genetic-algorithm

Solving the hardest game mazes using Genetic Algorithm

hott-book

A textbook on informal homotopy type theory

mars-particle-filtering

Implementation of the particle filtering algorithm

mesh-transformer-jax

Model parallel transformers in JAX and Haiku

mooc_cert_desc

Certificates and Course Descriptions of Moocs

morpheus

Erlang Sandboxing for Reliable and Scalable Concurrency Testing

niyoushanajmaei.github.io

https://niyoushanajmaei.github.io

oop-04jeylm

Spring 2021, Object Oriented Programming, 04JEYLM, Politecnico di Torino. My solutions of weekly labs.

othello-alpha-beta

AI agent to play Othello using the alphabet method

poswm

Partial Order Aware Sampling for Detecting Weak Memory Concurrency Bugs

product_description

Fine-tune and use GPT-Neo to generate product descriptions.

product_description_process

Code written to process and manipulate raw data to prepare it for training or inference for the product_description repository

rfm_analysis

Analyses of a purchase log for enhancing marketing strategies including RFM analysis

sudoku-solver-ac3-lcv-mrv

Solving Sudoku using AC3, LCV and MRV methods

traffic-light-q-learning

Gym city flow traffic light using the qlearning method

unimath

This coq library aims to formalize a substantial body of mathematics using the univalent point of view.