Skip to content
View ncardozo's full-sized avatar

Organizations

@FLAGlab

Block or report ncardozo

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Master thesis project, lifelong state space self-adaptation in Reinforcement Learning

Jupyter Notebook 4 1 Updated Feb 10, 2021

DALGO problems archive

Python 3 2 Updated Sep 8, 2024

Reinforcement learning algorithms for research monitoring at the University of Los Andes.

Jupyter Notebook 1 Updated Nov 18, 2024

Template for the thesis document

TeX 3 9 Updated Aug 20, 2024
TeX 1 Updated Aug 20, 2024

Data corpus for the evaluation of cross-language clone detection algorithms

Dart 5 Updated Jan 16, 2024

Closer to MOP is a compatibility layer that rectifies many of the absent or incorrect CLOS MOP features across a broad range of Common Lisp implementations.

Common Lisp 155 19 Updated Dec 29, 2024

Examples of how to create colorful, annotated equations in Latex using Tikz.

TeX 3,767 216 Updated Jul 12, 2022

It is a Dart implementation using Truffle

Java 1 Updated May 5, 2022

The Elegant Parser

Rust 4,733 264 Updated Jan 8, 2025

🏆 Solutions to problems from the UVa Online Judge.

Java 37 13 Updated May 29, 2023
TeX 2 Updated Nov 19, 2024

Example programs implemented in Gold

4 7 Updated Nov 23, 2021

Code examples for the DPOO course at Universidad de los Andes

2 Updated May 16, 2021

This repository contains the base project to test language parsers built with JavaCC

Java 1 25 Updated Mar 4, 2022

Repository containing code snippets and examples for the concurrency, parallelism, and distribution course

Erlang 4 1 Updated Feb 27, 2024

Material developed to teach different competitive programming topics

C++ 15 1 Updated Mar 13, 2024

Site to archive problems and their solutions

Java 6 Updated May 7, 2024

A library and some utilities to help with NES development

Go 12 3 Updated May 16, 2024
Q# 617 52 Updated Dec 3, 2024

A functional programming language

Rust 47 4 Updated Aug 22, 2020

Entrenamiento Maratones Uniandes

1 Updated Feb 6, 2020

Material (mostly slides) for a graduate course on (formal) software analysis.

32 4 Updated Jul 15, 2019

Grammars written for ANTLR v4; expectation that the grammars are free of actions.

ANTLR 10,326 3,723 Updated Jan 5, 2025

Principles of Reactive Programming, Scala: assignments and other code from Coursera https://class.coursera.org/reactive-002

Scala 153 67 Updated Feb 27, 2019

Is a collection of proof of concept tools that allows for automatically grabing bibtex entries from science search engines, i.e., Google Scholar.

Ruby 2 Updated Oct 21, 2019

Scripts for Latex to HTML5 conversion

TeX 722 48 Updated Aug 17, 2023

Petri Net editor for context oriented languages.

Objective-C 4 1 Updated Jun 25, 2012