Giters
Nuno Lopes (nunoplopes)

nunoplopes

Geek Repo

121

followers

0

following

14

stars

Company:University of Lisbon

Location:Lisbon, Portugal

Home Page:https://web.ist.utl.pt/nuno.lopes/

Github PK Tool:Github PK Tool

Organizations
AliveToolkit
llvm
php

Nuno Lopes's repositories

alive

Alive: Automatic LLVM's Instcombine Verifier

Language:PythonLicense:Apache-2.0Stargazers:217Issues:16Issues:35

torchy

A tracing JIT compiler for PyTorch

Language:C++License:MITStargazers:12Issues:2Issues:13

llvm-aa-verif

Verification of LLVM's alias analysis proof rules

Language:PythonLicense:MITStargazers:5Issues:2Issues:0

chocore2c

Chocolatey re2c package

Stargazers:1Issues:2Issues:1

pic1website

PIC1 website

Language:PHPLicense:MITStargazers:1Issues:2Issues:36

madoko

Madoko is a fast markdown processor for high quality academic and technical articles

Language:HTMLLicense:NOASSERTIONStargazers:0Issues:0Issues:0

php-github-api

A simple PHP GitHub API client, Object Oriented, tested and documented.

License:MITStargazers:0Issues:0Issues:0

pytorch

Tensors and Dynamic neural networks in Python with strong GPU acceleration

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0

z3

The Z3 Theorem Prover

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0