francesco-bongiovanni Goto Github PK

bfp

Beyond Floating Point - Posit C++ implementation

biglambda

Source code for the BigLambda data-parallel synthesis project.

bnflite

bnflite is a C++ template library for lightweight grammar parsers

caps

Communication-Avoiding Parallel Strassen

carla

Open-source simulator for autonomous driving research.

cello

Higher level programming in C

certigrad

Bug-free machine learning on stochastic computation graphs

circuit

The Circuit

cnc_remastered_collection

commuter

Automated multicore scalability testing tool

coq-haskell

A library for formalizing Haskell types and functions in Coq

cryengine

CRYENGINE is a powerful real-time game development platform created by Crytek.

delite

The Delite Git Repo

distalgo

A high-level language for writing distributed algorithms

distributed-graph-algorithms

Distributed Graph algorithms in DistAlgo

easybuild-easyconfigs

A collection of easyconfig files that describe which software to build using which build options with EasyBuild.

ewok-kernel

EwoK micro-kernel repository

fast-matmul

Fast matrix multiplication

fib

Performance Benchmark of top Github languages

forge

A prototype meta DSL that generates Delite DSL implementations from a specification-like program.

formura

Describe stencil formurae without even translating them

fscq

FSCQ is a certified file system written and proven in Coq

gcc-explorer

Run GCC (and other compilers) interactively from your web browser and experiment with its generated code

gpuexplore

GPU model checker

gpufs

GPUfs - File system support for NVIDIA GPUs

gpunet

GPUnet is a native GPU networking layer that provides a socket abstraction over Infiniband to GPU programs for NVIDIA GPUs.

halide

a language for image processing and computational photography

hdfs-rs

libhdfs binding and wrapper APIs for Rust

helium

Helium: Lifting High-Performance Stencil Kernels from Stripped x86 Binaries to Halide DSL Code

hvm-core