juanmacopia Goto Github PK

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.

freqtrade

Free, open source crypto trading bot

jesse

An advanced crypto trading bot written in Python

jpf-core

My fork of https://github.com/javapathfinder/jpf-core

jpf-symbc

Symbolic PathFinder

juanmacopia.github.io

My Personal Website

lissa

LISSA: An efficient symbolic execution approach for programs manipulating complex heap-allocated data structures.

mini-mc

minimal symbolic model checker & fuzzer

pathagongame

This is a board game called "Pathagon". The goal in this project is to code the artificial intelligence of the game.

project-template

Boilerplate that every new Jesse project requires

pyseat

PySEAT is a testing automation tool. It automatically generates test cases for Python programs that use complex heap-allocated data structures.

rtlwifi_new

A repo for the newest Realtek rtlwifi codes.

spf-pli

PLI is an efficient symbolic execution approach for programs that manipulate complex heap-allocated data structures with rich structural constraints

spf-wca

Tool for algorithmic complexity analysis based on symbolic execution

symsolve

SymSolve is an efficient bounded exhaustive solver for symbolic structures with complex representation invariants.

tds18-compiler

This is a compiler of a programming language called c-tds18.

tp1-testing

xv6-os-project

xv6 Operative System