-
ck Public
Forked from concurrencykit/ckConcurrency primitives, safe memory reclamation mechanisms and non-blocking (including lock-free) data structures designed to aid in the research, design and implementation of high performance conc…
C Other UpdatedNov 10, 2025 -
-
Dat3M Public
Forked from hernanponcedeleon/Dat3MA verification tool for many memory models
Java MIT License UpdatedApr 12, 2025 -
QuorumBasedTotalOrderBroadcast Public
Forked from StefanoSacchet/QuorumBasedTotalOrderBroadcastDistributed Systems project that implements protocol for Total Order Broadcast that relies on a coordinator and a quorum of nodes.
Java UpdatedAug 22, 2024 -
KernelComputationOptimizer Public
Low power embedded systems' project in which we explore how tiling and other strategies can be employed to minimise Dataflow between NVM and SRAM
Python UpdatedJul 18, 2024 -
-
-
-
sui Public
Forked from MystenLabs/suiSui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language
Rust Apache License 2.0 UpdatedOct 4, 2023 -
NeoVim_config Public
My personal config for Vim with NVChad
Lua GNU General Public License v3.0 UpdatedAug 10, 2023 -
GranelliGLS Public
Project for "Virtualized and Softwarized mobile networks" course held by Dr. Granelli @ UniTN
-
SpotifyDirectManager_MSP432 Public
Project for Embedded Software for the IoT
-
SistemaMonitoraggioAmbientale Public
Forked from luiss07/SistemaMonitoraggioAmbientaleSoftware Engineering project @UniTN
JavaScript UpdatedNov 12, 2022
{{ message }}