Pinned Repositories
SoftwareEngPetrinet
Implementation of petrinets
IEGenLib
Inspector/Executor Generation Library for manipulating sets and relations with uninterpreted function symbols.
omega
Omega Library/ Calculator
llvm-project-csp
Clang supporting syntax plugins
boisestate-adaptlab.github.io
Source for https://boisestate-adaptlab.github.io
docs
llvm-project-csp
Clang supporting syntax plugins
nwchem-tce-triples-kernels
NWChem TCE CCSD(T) loop-driven kernels for performance optimization experiments
PDFG-IR_C_frontend
TacoPlug-standalone-tests
tpops's Repositories
tpops/docs
tpops/llvm-project-csp
Clang supporting syntax plugins
tpops/nwchem-tce-triples-kernels
NWChem TCE CCSD(T) loop-driven kernels for performance optimization experiments
tpops/TacoPlug-standalone-tests
tpops/boisestate-adaptlab.github.io
Source for https://boisestate-adaptlab.github.io
tpops/PDFG-IR_C_frontend
tpops/chat-app-server
tpops/coremark
CoreMark® is an industry-standard benchmark that measures the performance of central processing units (CPU) and embedded microcrontrollers (MCU).
tpops/CS453-resources
Public resources for CS453
tpops/IEGenLib
Inspector/Executor Generation Library for manipulating sets and relations with uninterpreted function symbols.
tpops/IEGENLIB_tutorial
tpops/llvm-test-suite
tpops/mibench
The MiBench testsuite, extended for use in general embedded environments
tpops/parflow
Parflow is an open-source parallel watershed flow model.
tpops/patmos-benchmarks
A collection of benchmarks and tests for the Patmos processor and compiler
tpops/pax_engine
Game Engine written in c++
tpops/sparse_c_frontend
tpops/Sparse_Format_Conversion_Experiments
A suite for benchmarking sparse format conversions using IntelMKL, SPARSKIT and TACO. The tool uses 14 sparse data sources from https://sparse.tamu.edu/ for benchmarking. It also uses a singularity conrtainer making it easy to run test on various machines.
tpops/tpops
Config files for my GitHub profile.