vgene

vim.wasm

Vim editor ported to WebAssembly

autopep8

A tool that automatically formats Python code to conform to the PEP 8 style guide.

restic

Fast, secure, efficient backup program

llvmlite

A lightweight LLVM python binding for writing JIT compilers

ck

Collective Mind (CM) is a small, modular, cross-platform and decentralized workflow automation framework with a human-friendly interface and reusable automation recipes to make it easier to build, run, benchmark and optimize AI, ML and other applications and systems across diverse and continuously changing models, data, software and hardware

reproindex

[OUTDATED] Index of reproduced papers with reusable research components and unified workflows. Moved to

ck-env

CK repository with components and automation actions to enable portable workflows across diverse platforms including Linux, Windows, MacOS and Android. It includes software detection plugins and meta packages (code, data sets, models, scripts, etc) with the possibility of multiple versions to co-exist in a user or system environment.

z3

The Z3 Theorem Prover

Janus

Automatic Binary Parallelisation

BOLT

Binary Optimization and Layout Tool - A linux command-line utility used for optimizing performance of binaries

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

powertools

library for power, frequency, and temperature measurement on Intel processors

slack-black-theme

A darker, more contrasty, Slack theme.

numap

video-quality

Video quality metrics, reference implementation in python: VIF, SSIM, PSNR, ...

image-quality-tools

pmu-tools

Intel PMU profiling tools

libipt

libipt - an Intel(R) Processor Trace decoder library

vmir

Virtual Machine for Intermediate Representation

LLVMPlayground

Small sample programs that use LLVM and Clang APIs.

git-bug

Distributed, offline-first bug tracker embedded in git, with bridges

vim-plug

:hibiscus: Minimalist Vim Plugin Manager

static-analysis

⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.

awesome-llvm

A curated list of awesome LLVM (including Clang, etc) related resources.

tensorflow-nvJetson

TensorFlow for NVIDIA Jetson, also include patch and script for building.

tensorflow_end2end_speech_recognition

End-to-End speech recognition implementation base on TensorFlow (CTC, Attention, and MTL training)

warp-ctc

Fast parallel CTC.

ctcdecode

PyTorch CTC Decoder bindings

KerasDeepSpeech

A Keras CTC implementation of Baidu's DeepSpeech for model experimentation

asr-study

Implementation of all-neural speech recognition systems using Keras and Tensorflow