elopez Goto Github PK

iccyflp

Trabajos prácticos de Introducción a la computación cuántica y fundamentos de lenguajes de programación

it-depends

A tool to automatically build a dependency graph and Software Bill of Materials (SBOM) for packages and arbitrary source code repositories.

keybinder

Simple program to map keypresses to commands

linux

Linux kernel source tree

manticore

Symbolic execution tool

modelicacc

moto

A library that allows you to easily mock out tests based on AWS infrastructure.

optik

Optik is a set of symbolic execution tools that assist smart-contract fuzzers

optimism-dai-bridge

Optimism Dai and upgradable token bridge

pdfminer

Python PDF Parser (Not actively maintained). Check out pdfminer.six.

pintos

Pintos: a simple operating system framework for the 80x86 architecture

polyfile

A pure Python cleanroom implementation of libmagic, with instrumented parsing from Kaitai struct and an interactive hex viewer

prezto

Personal config changes for Prezto

purehugo

Hugo theme based on purecss from Yahoo.

quickfuzz

An experimental grammar fuzzer in Haskell using QuickCheck

ray

An open source framework that provides a simple, universal API for building distributed applications. Ray is packaged with RLlib, a scalable reinforcement learning library, and Tune, a scalable hyperparameter tuning library.

rv8

RISC-V simulator for x86-64

scoresim

slither

Static Analyzer for Solidity

so-i

Trabajo final para la cátedra de Sistemas Operativos I

so-ii

Trabajo para la cátedra de Sistemas Operativos II

super-linter

Combination of multiple linters to install as a GitHub Action

udemy-dl

A cross-platform python based utility to download courses from udemy for personal offline use.

wpc

OLIMEX's WEEKEND PROGRAMMING CHALLENGE

zulip

Zulip server - powerful open source team chat