rodamber Goto Github PK
Name: Rodrigo Bernardo
Type: User
Name: Rodrigo Bernardo
Type: User
Repository for the Advanced Algorithms 2016/2017 course project at IST, University of Lisbon
Repository for the Artificial Intelligence 2015/2016 course at IST, University of Lisbon Edit
Repository for the Algorithms for Computational Logic 2016/2017 course at IST, University of Lisbon
Repositório para o projecto de AMS
Project 1 of the Analysis and Synthesis of Algorithms 2014/2015 course at IST, University of Lisbon
Project 2 of the Analysis and Synthesis of Algorithms 2014/2015 course at IST, University of Lisbon Edit Edit
Verification of an NFA to DFA transformation using Stainless
Racket DSL for generating parsers from BNF grammars
Convert code using CamelCase to snake_case
Repository for the Computer Networks 2015/2016 course at IST, University of Lisbon Edit
Implementation of Shor's quantum algorithm for integer factorization
Repository for the Databases 2016/2017 course at IST, University of Lisbon
Repository for the Distributed Systems 2015/2016 course at IST, University of Lisbon
Enterprise Tic-Tac-Toe in Haskell
Repository for the Software Engineering 2015/2016 course at IST, University of Lisbon
Foundations of Programming 2013/2014 course projects at IST, University of Lisbon
Introduction to Computer Architecture 2013/2014 course projects at IST, University of Lisbon Edit
Introduction to Algorithms and Data Structures 2013/2014 course projects at IST, University of Lisbon
Human-Computer Interaction 2014/2015 course projects at IST, University of Lisbon
Repo for the code and dissertation of my Master's thesis
NixOS boxes for Vagrant. Forked from zimbatm/nixbox.
Object-Oriented Programming 2014/2015 course projects at IST, University of Lisbon
Repository for the Operating Systems 2014/2015 course at IST, University of Lisbon Edit
Introduction to programming language theory in Agda
Repository for the Complex Networks 2016/2017 course at IST, University of Lisbon.
Haskell framework for animating SVG graphics.
The Rosette solver-aided host language, sample solver-aided DSLs, and demos
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.