Juan Manuel Copia's repositories
jpf-symbc
Symbolic PathFinder
spf-pli
PLI is an efficient symbolic execution approach for programs that manipulate complex heap-allocated data structures with rich structural constraints
juanmacopia.github.io
My Personal Website
SymSolve
SymSolve is an efficient bounded exhaustive solver for symbolic structures with complex representation invariants.
freqtrade
Free, open source crypto trading bot
jesse
An advanced crypto trading bot written in Python
project-template
Boilerplate that every new Jesse project requires
jpf-core
My fork of https://github.com/javapathfinder/jpf-core
PySEAT
PySEAT is a testing automation tool. It automatically generates test cases for Python programs that use complex heap-allocated data structures.
xv6-os-project
xv6 Operative System
PathagonGame
This is a board game called "Pathagon". The goal in this project is to code the artificial intelligence of the game.
tds18-compiler
This is a compiler of a programming language called c-tds18.
Analisis
This is a project from the subjects "Analisis y Diseño de Sistemas" and "Ingenieria de Software" of "Licenciatura en Ciencias de la Computación" - UNRC. The goal is to make a trivia game following the process of the system development life cycle.
spf-wca
Tool for algorithmic complexity analysis based on symbolic execution
rtlwifi_new
A repo for the newest Realtek rtlwifi codes.
mini-mc
minimal symbolic model checker & fuzzer