rodamber Goto Github PK

aava

Repository for the Advanced Algorithms 2016/2017 course project at IST, University of Lisbon

ai

Repository for the Artificial Intelligence 2015/2016 course at IST, University of Lisbon Edit

alc

Repository for the Algorithms for Computational Logic 2016/2017 course at IST, University of Lisbon

ams

Repositório para o projecto de AMS

asa-01

Project 1 of the Analysis and Synthesis of Algorithms 2014/2015 course at IST, University of Lisbon

asa-02

Project 2 of the Analysis and Synthesis of Algorithms 2014/2015 course at IST, University of Lisbon Edit Edit

automaton

Verification of an NFA to DFA transformation using Stainless

brag

Racket DSL for generating parsers from BNF grammars

camel-case-to-snake-case

Convert code using CamelCase to snake_case

cn

Repository for the Computer Networks 2015/2016 course at IST, University of Lisbon Edit

cps

Implementation of Shor's quantum algorithm for integer factorization

crypto-hw5

db

Repository for the Databases 2016/2017 course at IST, University of Lisbon

ds

Repository for the Distributed Systems 2015/2016 course at IST, University of Lisbon

enterprise-tic-tac-toe

Enterprise Tic-Tac-Toe in Haskell

es

Repository for the Software Engineering 2015/2016 course at IST, University of Lisbon

fp

Foundations of Programming 2013/2014 course projects at IST, University of Lisbon

iac

Introduction to Computer Architecture 2013/2014 course projects at IST, University of Lisbon Edit

iaed

Introduction to Algorithms and Data Structures 2013/2014 course projects at IST, University of Lisbon

ipm

Human-Computer Interaction 2014/2015 course projects at IST, University of Lisbon

lexi

msc-thesis

Repo for the code and dissertation of my Master's thesis

nixbox

NixOS boxes for Vagrant. Forked from zimbatm/nixbox.

oop

Object-Oriented Programming 2014/2015 course projects at IST, University of Lisbon

os

Repository for the Operating Systems 2014/2015 course at IST, University of Lisbon Edit

pava

plfa.github.io

Introduction to programming language theory in Agda

rc

Repository for the Complex Networks 2016/2017 course at IST, University of Lisbon.

reanimate

Haskell framework for animating SVG graphics.

rosette

The Rosette solver-aided host language, sample solver-aided DSLs, and demos