|
|
Verilog |
6 |
materials for Formal Verification introduction course |
Mar 17, 2022 |
|
|
Alloy |
6 |
Some useful Alloy tips and tricks to get around in MFES |
Feb 17, 2019 |
|
|
Alloy |
7 |
Automatically exported from code.google.com/p/websecmodel |
Jul 27, 2021 |
|
|
Alloy |
8 |
Alloy models for automatic synthesis of memory model litmus test suites (from ASPLOS 2017) |
May 29, 2022 |
|
|
Alloy |
2 |
None |
Jan 23, 2023 |
|
|
Alloy |
18 |
An advanced automated reasoning tool for memory consistency model specifications. |
May 18, 2022 |
|
|
Alloy |
3 |
all codes concerning Electronic circuits |
Aug 10, 2021 |
|
|
Alloy |
7 |
Alloy models for decentralized protocols |
Nov 22, 2021 |
|
|
Alloy |
2 |
Alloy |
Apr 18, 2023 |
|
|
Alloy |
2 |
None |
Jul 27, 2021 |
|
|
Alloy |
5 |
Material from SpringSim tutorial on Conceptual Modeling with Alloy |
Sep 19, 2022 |
|
|
Alloy |
19 |
A formalization of the RVWMO (RISC-V) memory model |
Apr 30, 2023 |
|
|
Alloy |
105 |
A public repository to host Alloy models. This repository holds public models to be used … |
May 27, 2023 |
|
|
Alloy |
2 |
Projeto final da disciplina de Logica para computação |
Jan 25, 2020 |
|
|
C++ |
2 |
Exercises from the AED course unit at FEUP. |
Nov 06, 2023 |
|
|
Python |
2 |
Using formal methods for verifying Q-learning-based systems |
Aug 07, 2022 |
|
|
C |
3 |
Repository to host the Operating Systems projects, a second year course @FEUP |
May 16, 2019 |
|
|
C++ |
2 |
Extra exercises from the AED course unit at FEUP. |
Nov 06, 2023 |
|
|
TeX |
2 |
Some course materials for the Goldsmiths Core Quantitative Methods course |
Nov 19, 2020 |
|
|
C |
2 |
Project for the Computers (COMP) course @FEUP |
Apr 03, 2020 |
|
|
Jupyter Notebook |
4 |
Complex Systems Seminar course materials |
Apr 22, 2019 |
|
|
C++ |
2 |
First project for the AED course unit at FEUP. |
Nov 06, 2023 |
|
|
C++ |
2 |
First project for the DA course unit at FEUP. |
Nov 06, 2023 |
|
|
C++ |
2 |
Second project for the DA course unit at FEUP. |
Nov 06, 2023 |
|
|
C++ |
2 |
First project for the PROG course unit at FEUP. |
Nov 06, 2023 |
|
|
C++ |
2 |
Second project for the PROG course unit at FEUP. |
Nov 06, 2023 |
|
|
None |
3 |
Embedded Real Time Systems Course Materials |
Feb 09, 2023 |
|
|
None |
30 |
Course materials for SMPA3193, Building Systems for Reporting |
Jan 13, 2021 |
|
|
C++ |
44 |
Course materials for Embedded Systems at the University of Plymouth |
Mar 18, 2023 |
|
|
None |
3 |
Materials for the Protein Networks and Systems Biology course 2015 |
Jan 16, 2023 |
|
|
TeX |
10 |
Course materials for seminar on survey research methods |
Apr 21, 2022 |
|
|
HTML |
21 |
Materials for Empirical Methods for Applied Microeconomics PhD course. |
Apr 18, 2023 |
|
|
JavaScript |
2 |
🐟 Proposed project solution for the Computer Graphics course @ FEUP |
May 14, 2023 |
|
|
Python |
2 |
Extra credit project for the FPRO course unit at FEUP. |
Nov 06, 2023 |
|
|
TeX |
2 |
Materials from the graduate logic course |
Mar 02, 2023 |
|
|
Python |
2 |
My materials from the course Databases. |
Oct 11, 2023 |
|
|
None |
2 |
Repository for review of formal methods |
Sep 04, 2022 |
|
|
None |
2 |
Formal Methods for Blockchain & Smart Contracts |
Nov 29, 2023 |
|
|
CSS |
2 |
Course materials for Stanford CS240h, "Functional Systems in Haskell" |
Apr 28, 2015 |
|
|
MATLAB |
5 |
COM 5170 Wireless Communication Systems 2021 Course Materials |
Apr 26, 2023 |
|
|
Jupyter Notebook |
248 |
Efficient Deep Learning Systems course materials (HSE, YSDA) |
Apr 28, 2023 |
|
|
Jupyter Notebook |
10 |
Problem sets and materials for systems and computational neuroscience course |
Mar 11, 2023 |
|
|
Ruby |
5 |
Course site & materials for ITMD 467/567: Web Systems Integration |
Jan 13, 2022 |
|
|
Python |
3 |
Measuring the growth of open source formal methods |
Jan 06, 2022 |
|
|
C++ |
2 |
A repository with all weakly exercises for the FEUP course L.EIC009 Programming. |
May 23, 2022 |
|
|
None |
2 |
Materials for the Clojure course |
May 16, 2022 |
|
|
None |
2 |
Materials for the Erlang course |
Dec 18, 2021 |
|
|
Jupyter Notebook |
13 |
Materials for the DSP course |
Jul 07, 2022 |
|
|
Python |
5 |
Materials for the VarCall2015 course |
Mar 18, 2020 |
|
|
C |
2 |
Seminar code snippets & Additional materials for Computer Architecture & Operating Systems Course |
Nov 04, 2022 |