Discover @nico-rodriguez Open Source projects

Nicolás Rodríguez (@nico-rodriguez)

nico-rodriguez

Stars
5
Global Rank 1,414,187 (Top 50 %)
Followers 2
Registered over 8 years ago
Most used languages

JavaScript
50.0 %

Coq 16.7 %

Java
16.7 %

Haskell
16.7 %
Location 🇺🇾 Uruguay
Country Total Rank 668
Country Ranking

Coq 2

Haskell
12

Java
169

JavaScript
239

coq-sorting-algorithms

Formal proofs of correctness of sorting algorithms in Coq.

ae-2018

A genetic algorithm for solving the Capacited Vehicle Routing Problem with Time Windows

chat-cli

A Node CLI for real time chat communication with Socket.io.

rate-repository-app

A mobile application for rating GitHub repositories. Sort and filter repositories, register a user, log in and create a reviews.

type-safe-avl

Several implementations of type-safe binary search trees (BST) and balanced binary search trees (AVL).

table-of-contents-react

A React component for dynamically rendering a table of contents. It highlights the current visible heading using Intersection Observer API.