daneshvar-amrollahi

fisheye

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

Routing-Protocols

An implementation of routing protocols over a simple network

Operating-Systems

Links to project repositories on socket programming, load balancing using pipes, and multi-threading with pthreads.

polar

Computer-Networks

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

Koloocheh

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

aasdk

Our own sexy version of asadiK!

Absynth.jl

A Julia package for loop synthesis

Artificial-Intelligence

Links to my AI course projects.

blog

bnfc

BNF Converter

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

Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

ddsmt-scripts

eldarica

The Eldarica model checker

FTP-Server

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

hands-on-spotipy

Jepeto

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

klee

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

mariposa

mariposa-data

mbti-cs229

openauto

A fuckin' working version of openauto!

prolog-parser

A BNFC prolog parser with Java, JLex, and CUP.

random-SMTLIB-benchmarks

scrambler

A simple scrambler for SMT-LIB 2.6 scripts.

SmartFlowerPot

Smart Flower Pot with Arduino Control and Sensor Boards

SurfaceScanner

A simple android application that scans a surface and plots its ups and downs.