Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists by nunoplopes

A curated list of projects in awesome lists by nunoplopes .

https://github.com/nunoplopes/alive

Alive: Automatic LLVM's Instcombine Verifier

llvm verification

Last synced: 01 Oct 2024

https://github.com/nunoplopes/torchy

A tracing JIT compiler for PyTorch

jit-compiler lazy-evaluation pytorch tracing-jit

Last synced: 01 Oct 2024

https://github.com/nunoplopes/llvm-aa-verif

Verification of LLVM's alias analysis proof rules

alias-analysis llvm verification

Last synced: 01 Oct 2024

https://github.com/nunoplopes/chocore2c

Chocolatey re2c package

Last synced: 01 Oct 2024

https://github.com/nunoplopes/pic1website

PIC1 website

Last synced: 01 Oct 2024