-
-
wasmtime Public
Forked from bytecodealliance/wasmtimeA lightweight WebAssembly runtime that is fast, secure, and standards-compliant
Rust Apache License 2.0 UpdatedFeb 15, 2025 -
Robot-Path-Planning Public
A robot path planning solution implemented using the A* Search Algorithm with graph search optimization
Python UpdatedDec 29, 2024 -
Kropki-Sudoku Public
A Kropki Sudoku solver implemented using a Constraint Satisfaction Problem (CSP) with MRV, DH, and FC
Python UpdatedDec 17, 2024 -
secure-systems-lab.github.io Public
Forked from secure-systems-lab/secure-systems-lab.github.ioSecure Systems Lab website
HTML Apache License 2.0 UpdatedOct 16, 2024 -
-
RustPOSIX Public
Forked from Lind-Project/safeposix-rustRustPOSIX with IMFS
Rust Apache License 2.0 UpdatedAug 5, 2024 -
-
Filtering_System Public
Demo of syscall filtering system implemented in Rust
Rust UpdatedNov 6, 2023 -
Thread_Scheduler Public
An algorithm that works for all schedule algorithms (FCFS / SRJF / PBS / MLFQ)
C UpdatedOct 10, 2023 -
-
-
du-command Public
Create a user program named “du” that prints a list of the files in the current directory (where the program was run), with their on-disk size in bytes. The final line prints the sum of all of the …
C UpdatedAug 17, 2023 -
EINTR_tests Public
Tests on the handling of EINTR error return values of different system calls
C UpdatedAug 17, 2023 -
The analysis using bigdata-tools of user behavior
Jupyter Notebook UpdatedJul 22, 2023 -
-
rustlings Public
Forked from rust-lang/rustlings🦀 Small exercises to get you used to reading and writing Rust code!
Rust MIT License UpdatedMay 22, 2023 -
-
seed-labs Public
Forked from seed-labs/seed-labsSEED Labs developed in the last 20 years.
Python Other UpdatedApr 19, 2023