arcmarqs

Pinned Repositories

APSPfox
All pairs shortest path problem solved with fox algorithm
Language:C00
arcmarqs
Config files for my GitHub profile.
00
Atlas
An efficient, modular BFT framework to allow for quick development of BFT protocols and their respective fair comparison.
Language:Rust00
Atlas-Common
The atlas common module, defining various needed utilities for the Atlas Framework
Language:Rust00
Atlas-Communication
The atlas communication module, defining the networking layer for the Atlas framework
Language:Rust0 0 00
Atlas-Core
The Atlas Core Module
Language:Rust00
Atlas-Divisible-State
Language:Rust00
Atlas-Persistent-Log
The persistent log module for Atlas. Capable of persisting messages from Stateful Order protocols, Monolithic and Divisible state transfer protocols.
Language:Rust00
C0Compiler
Basic C0 compiler in Haskell
Language:Haskell20
SEmbutidos
Language:Python1 2 01

arcmarqs's Repositories

arcmarqs/C0Compiler
Basic C0 compiler in Haskell
Language:Haskell20
arcmarqs/SEmbutidos
Language:Python1 2 01
arcmarqs/APSPfox
All pairs shortest path problem solved with fox algorithm
Language:C00
arcmarqs/arcmarqs
Config files for my GitHub profile.
00
arcmarqs/Atlas
An efficient, modular BFT framework to allow for quick development of BFT protocols and their respective fair comparison.
Language:Rust00
arcmarqs/Atlas-Common
The atlas common module, defining various needed utilities for the Atlas Framework
Language:Rust00
arcmarqs/Atlas-Communication
The atlas communication module, defining the networking layer for the Atlas framework
Language:Rust0 0 00
arcmarqs/Atlas-Core
The Atlas Core Module
Language:Rust00
arcmarqs/Atlas-Divisible-State
Language:Rust00
arcmarqs/Atlas-Persistent-Log
The persistent log module for Atlas. Capable of persisting messages from Stateful Order protocols, Monolithic and Divisible state transfer protocols.
Language:Rust00
arcmarqs/Battleship
Group assignment for unit CC2013
Language:C00
arcmarqs/bdcc-proj
Language:Python00
arcmarqs/blockchain-ssd
Systems and data security project
Language:Rust00
arcmarqs/EcosystemSim
Foxes and rabbits ecosystem simulation using openMP
Language:C0 1 00
arcmarqs/febft
Language:Rust00
arcmarqs/Atlas-Log-Transfer
The Log Transfer module for the Atlas framework. Responsible for transferring the ordering protocol log of stateful order protocols between nodes.
Language:Rust
arcmarqs/Atlas-Metrics
The Atlas metrics module, defining the utilities for facilitating metrics in the Atlas framework
Language:Rust0 0
arcmarqs/Atlas-SMR-Application
The atlas SMR application layer. Defines the necessary traits the application developer should implement in order to utilize this framework for developing BFT SMR applications
arcmarqs/Atlas-SMR-Execution
The Atlas SMR execution layer. Responsible for receiving decisions from the ordering protocol and executing them on the application defined by the developer
Language:Rust
arcmarqs/Atlas-SMR-Replica
The atlas BFT SMR Replica module, combines all the necessary abstractions in order to make a replica that can participate in a BFT quorum and execute an application.
arcmarqs/Atlas-Ycsb
Language:Rust
arcmarqs/fe-stp
Language:Rust
arcmarqs/ImpInterpreters
Language:Haskell
arcmarqs/java-workshop
Example program for an introductory java workshop
Language:Java1 0
arcmarqs/Mandelyze
Unity 3D mandelbrot and julia set generator
Language:C#
arcmarqs/progressive-state-transfer
Language:Rust
arcmarqs/rust-rocksdb
rust wrapper for rocksdb
Language:Rust0 0
arcmarqs/SD21
Distributed Systems Project
Language:Java
arcmarqs/sled
the champagne of beta embedded databases
Language:Rust0 0
arcmarqs/testing-grounds
A repository to test and benchmark new functionality.
Language:Java0 0