Skip to content
@ComputerScience-Projects

Computer Science Projects

Group formed by Andrea Bacciu (@andreabac3) & Valerio Neri (@ValerioNeriGit)

Popular repositories Loading

  1. Calculus-of-Communicating-Systems Calculus-of-Communicating-Systems Public

    The Calculus of Communicating Systems (CCS) is a process calculus introduced by Robin Milner around 1980 and the title of a book describing the calculus. Its actions model indivisible communication…

    Standard ML 7 1

  2. Database-University-Course-Docker Database-University-Course-Docker Public

    Docker for University lesson build from us made for MCLAB research group

    1

  3. Gopher-Server-Cross-Platform Gopher-Server-Cross-Platform Public

    Forked from andreabac3/Gopher-Server-Cross-Platform

    Cross Platform Gopher server written purely in C. It's Works for Linux and Windows 10. Support Multi-Thread and Multi-Process requests

    C

Repositories

Showing 4 of 4 repositories
  • ComputerScience-Projects/Authorship-Attribution-on-Enron-Dataset’s past year of commit activity
    Python 1 2 0 0 Updated Apr 15, 2020
  • Gopher-Server-Cross-Platform Public Forked from andreabac3/Gopher-Server-Cross-Platform

    Cross Platform Gopher server written purely in C. It's Works for Linux and Windows 10. Support Multi-Thread and Multi-Process requests

    ComputerScience-Projects/Gopher-Server-Cross-Platform’s past year of commit activity
    C 0 3 0 0 Updated Nov 24, 2019
  • Calculus-of-Communicating-Systems Public

    The Calculus of Communicating Systems (CCS) is a process calculus introduced by Robin Milner around 1980 and the title of a book describing the calculus. Its actions model indivisible communications between exactly two participants. The formal language includes primitives for describing parallel composition, choice between actions and scope rest…

    ComputerScience-Projects/Calculus-of-Communicating-Systems’s past year of commit activity
    Standard ML 7 MIT 1 0 0 Updated Sep 2, 2019
  • Database-University-Course-Docker Public

    Docker for University lesson build from us made for MCLAB research group

    ComputerScience-Projects/Database-University-Course-Docker’s past year of commit activity
    1 0 0 0 Updated May 30, 2019

Top languages

Loading…

Most used topics

Loading…