Repositories
rodamber/docs-odc
Source of the OutSystems Developer Cloud documentation
rodamber/ss
Repository for the Software Specification 2016/2017 course at IST, University of Lisbon
rodamber/automaton
Verification of an NFA to DFA transformation using Stainless
rodamber/reanimate
Haskell framework for animating SVG graphics.
rodamber/cps
Implementation of Shor's quantum algorithm for integer factorization
rodamber/msc-thesis
Repo for the code and dissertation of my Master's thesis
rodamber/PAva
rodamber/alc
Repository for the Algorithms for Computational Logic 2016/2017 course at IST, University of Lisbon
rodamber/Tyrell
rodamber/brag
Racket DSL for generating parsers from BNF grammars
rodamber/rosette
The Rosette solver-aided host language, sample solver-aided DSLs, and demos
rodamber/plfa.github.io
Introduction to programming language theory in Agda
rodamber/nixbox
NixOS boxes for Vagrant. Forked from zimbatm/nixbox.
rodamber/crypto-hw5
rodamber/lexi
rodamber/university-projects
School projects collection
rodamber/ipm
Human-Computer Interaction 2014/2015 course projects at IST, University of Lisbon
rodamber/oop
Object-Oriented Programming 2014/2015 course projects at IST, University of Lisbon
rodamber/iaed
Introduction to Algorithms and Data Structures 2013/2014 course projects at IST, University of Lisbon
rodamber/iac
Introduction to Computer Architecture 2013/2014 course projects at IST, University of Lisbon Edit
rodamber/fp
Foundations of Programming 2013/2014 course projects at IST, University of Lisbon
rodamber/aava
Repository for the Advanced Algorithms 2016/2017 course project at IST, University of Lisbon
rodamber/camel-case-to-snake-case
Convert code using CamelCase to snake_case
rodamber/vmc-hs
Virtual Machine Consolidation in Haskell
rodamber/ams
Repositório para o projecto de AMS
rodamber/enterprise-tic-tac-toe
Enterprise Tic-Tac-Toe in Haskell
rodamber/asa-02
Project 2 of the Analysis and Synthesis of Algorithms 2014/2015 course at IST, University of Lisbon Edit Edit
rodamber/asa-01
Project 1 of the Analysis and Synthesis of Algorithms 2014/2015 course at IST, University of Lisbon
rodamber/os
Repository for the Operating Systems 2014/2015 course at IST, University of Lisbon Edit