daneshvar-amrollahi Goto Github PK

aasdk

Our own sexy version of asadiK!

absynth.jl

A Julia package for loop synthesis

ai-search-algorithms

Computer Assignment 1 - Artificial Intelligence Course

arm

A Verilog implementation of an ARM series processor supporting: Forwarding, SRAM, and Cache.

artificial-intelligence

Links to my AI course projects.

blog

bnfc

BNF Converter

car-price-prediction

Car price prediction using KNN, Linear Regression, and Decision Trees in Scikit-learn

carpark-pddl2c

A tool for solving a planning problem using symbolic execution engines (KLEE/TracerX)

computer-architecture-course-projects

MIPS Processor (Single-Cycle, Multi-Cycle, Pipeline) Implementation in Verilog HDL.

computer-networks

Links to project repositories on socket programming, routing protocols, ns2 simulations, go-back-n protocol, and congestion avoidance.

congestion-avoidance

An implementation of Random-Early-Detection mechanism over a simple network based on UDP.

cps-course-final-project

cvc5

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

daneshvar-amrollahi.github.io

digital-logic-design-lab

DLD Lab Course Experiments (Fall 2020)

eldarica

The Eldarica model checker

fisheye

A simple flutter application applying Fisheye transformation to an image captured by the phone's camera.

fmse

Formal Methods in Software Engineering Course Projects

fnn-verilog

A Feed Forward Neural Network in Verilog.

ftp-server

A client-server implementation of an FTP Server using sockets for communication and pthreads.

genetic-algorithm-scheduling

Computer Assignment 2 - Artificial Intelligence Course

hands-on-spotipy

hello-world

Just 4 learning git

intro-ml-libs

Computer Assignment 0 - Artificial Intelligence Course

jepeto

A compiler for Jepeto programming language generating Java bytecode with Name/Type error detection.

jomebazaar

An online shop where users can sign up and add products to their carts and purchase them. Used C++ for Backend and APHTTP as a web framework.

klee

An extension of KLEE, with support for existential and universal quantifiers.

koloocheh

A peer-to-peer file sharing system implemented using the gRPC framework in Python.

kuzushiji-classification-nn

A Kuzushiji-MNIST classifier using a Feed Forward Neural Network implemented from scratch in Python using Numpy.