Pinned Loading

1. multi-paxos-elixir multi-paxos-elixir Public

   The code from the paper "Paxos Made Moderately Complex", in the Elixir programming language

   Elixir

2. fuzzing-SAT-solvers fuzzing-SAT-solvers Public

   A fuzzer that generates inputs aimed to "break" SAT solvers. SAT solvers (and batteries) included.

   C 5 1

3. SAT-solver SAT-solver Public

   A sat solver for formulas in CNF form

   C

4. t4sr-mirto-code t4sr-mirto-code Public

   The code for running the swarm robotics implementation my bachelor's thesis: "Distributed Justified Decision Making in Swarm Robotics: Logic, Simulation and Implementation", as well as a graphic ap…

   Java

5. t4sr-netlogo-code t4sr-netlogo-code Public

   This repository contains the code of a NetLogo simulation developed as part of my bachelor's thesis: "Distributed Justified Decision Making in Swarm Robotics: Logic, Simulation and Implementation"

   NetLogo 1

6. geo-flink geo-flink Public

   Forked from apache/flink

   Mirror of Apache Flink, aimed to improve the scheduling when dealing with multiple geo-distributed data centrers

   Java 3