Sign in

Repository Index

47,133 repositories indexed

Tags: Programming languages and compilers
Tags

A repository shows when it has any selected Tag.

Clear Tags
Filters

Filters

Clear all filters

265–288 of 671 · Most stars

C language library for creating bindings for the Qt QML language

  • qml-bindings
  • qt-qml-language
  • qml
  • qt

cpgf library

  • cpgf
  • lua-bindings
  • c-plus-plus
  • python-bindings

A Simplest in-memory and Distributed Storage-Agnostic Message Queue for Your Concurrent Go Program

An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework

  • raft
  • verdi
  • coq
  • proof

Open source Python/CUDA C/C++ to SASS/CUDA Binary compiler (previously closed source by nvidia), more efficient (10-18% speedup) General Matrix Multiplication (GEMM)

  • compiler
  • compiler-backend
  • compiler-optimization
  • gpu-acceleration