Popular repositories Loading

1. TeamA TeamA Public

   Python

2. Dataplane-Router Dataplane-Router Public

   Implementing the router's dataplane component to facilitate efficient local routing processes.

   C

3. Tourism-application Tourism-application Public

   The purpose of this project is to develop the back-end of a tourism application that allows users to both create a database of museums open to the general public and form tourist groups.

   Java

4. Memory-Allocator Memory-Allocator Public

   Build a minimalistic memory allocator that can be used to manually manage virtual memory. The goal is to have a reliable library that accounts for explicit allocation, reallocation, and initializat…

   C

5. Mini_LibC Mini_LibC Public

   Build a minimalistic standard C library implementation for Linux systems, that can be used as a replacement for the system libc. The goal is to have features such as string management, basic memory…

   C 1

6. SAT-Solver SAT-Solver Public

   This program implements a SAT Solver using the DPLL algorithm with unit propagation. The solver analyzes a Boolean formula in CNF (Conjunctive Normal Form) format and determines whether it is satis…

   Python