Pinned

1. LPL-solutions LPL-solutions Public

   Solutions for the book "Language Proof and Logic".

   65 155

2. SNN SNN Public

   This is a repository with implementations of neuron models, synapses, and spiking neural networks (SNN). It's still in development and it has original content in terms of code.

   Python 29 7

3. numerical-methods numerical-methods Public

   Some code from numeric methods implemented in C++ and Python (MIEIC 2nd) 19/20

   Jupyter Notebook 7

4. NIAEFEUP/uporto-schedule-scrapper NIAEFEUP/uporto-schedule-scrapper Public

   Python solution to extract the courses schedules from the different faculties of UPorto. Used to feed our timetable selection platform for students, TTS.

   Python 3 2

5. ROSES-protocol ROSES-protocol Public

   An hierarchical two layer CRDT protocol for sets and registers with causal context space complexity O(n), where n is the number of servers.

   Rust 1

6. crdt-sample crdt-sample Public

   Some CRDT samples to be used as reference

   Rust 3