ruidtlima Goto Github PK
Name: Rui Lima
Type: User
Rui Lima's Projects
17-18-1-li51d
Código apresentado nas aulas da turma LI51D
1718i-li52d
Repositório de PI para a turma LI52D - Semestre de Inverno 2017-2018
aed
assembly_code
A assembly code to make the quick_sort acording to function qsort of the standard c library
authmereloaded
The best authentication plugin for the Bukkit/Spigot API!
ave
desenvolvimentoaplica-esweb
diffuzz
diffuzzar
Automatic Repair of Java Code with Timing Side-Channel Vulnerabilities
hello-world
My first repository
javascripttutorials
A repository to host the files used in the workshop nodeschool.io
ktor
Framework for quickly creating connected applications in Kotlin with minimal effort
node-gyp
Node.js native addon build tool
passwordgeneration
Password generation build in Gallina and Extracted to Ocaml
programacaoavancada
Repository to hold the projects done in the course Advanced Programming
quickchick
Randomized Property-Based Testing Plugin for Coq
si
si2
Repositório para guardar os trabalhos de SI2
sistemaselevadaconfiabilidade
Repository to hold the work done for the Higly Dependable Systems Course
testrepoforci
A test repository that is used to work with the CI.
trabalhosdepc
A repo with work done to Concorrent Programming Class.
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.