Jevgenijus "Eugene" Cistiakovas's repositories
CS2031-OpenFlow
A solution to assignment on OpenFlow for CS2031 Telecommunications II
Competitive-Programming
My presentations about CP, and my solutions to problems from various online judges websites.
Visualising-GitHub
CS3012 - "Social Graph"
pisim22-dissertation-report
MCS dissertation report -- An Algorithm and Implementation of Equivalence Checking in Pi-Calculus through Fresh-Register Automata
000
SecureReddit
Encrypted communication through Reddit posts and comments. Solution to an assignment.
Language:Python000
cs-exams
Examination preparation material for Computer Science students at Trinity College Dublin.
Language:HTML000
ireland-cgt-calculator
WIP: Ireland CGT Tax Calculator for Degiro Transactions
Language:Java000
pifra
Generate labelled transition systems of pi-calculus models represented by fresh-register automata
Language:GoMIT000
pisim
forked from gitlab.com/basil-conto/pisim
Language:TeXMIT000
SWENG-Project-2020
Repo for the group programming project of 2019 @ TCD
Language:Java000
tla-plus
All about TLA+
Language:TLA000