anluren Goto Github PK

ac_dsp

Algorithmic C Digital Signal Processing (DSP) Library

ac_types

Algorithmic C Datatypes

adoc-presentation-model

A full AsciiDoc extended example generating both HTML PDF and Reveal.js slides #asciidoctor #plantuml #reveal

algorithm

practicing different algorithm

asciidoctor-presentation

An end to end presentation to discover the great Asciidoctor processor

asciidoctor-reveal.js

:crystal_ball: A reveal.js converter for Asciidoctor and Asciidoctor.js. Write your slides in AsciiDoc!

autoprogrammer

C++ to C++ code generation tool (enum2string conversion, serialization, reflection etc.)

awesome-open-hardware-verification

A List of Free and Open Source Hardware Verification Tools and Frameworks

bcc

BCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more

boolector

A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.

cash

A C++ Library for Hardware Design and Simulation

castxml

C-family Abstract Syntax Tree XML Output

ccls

C/C++/ObjC language server supporting cross references, hierarchies, completion and semantic highlighting

clang-expand

:dragon: A clang tool for happy refactoring without source-code gymnastics

clang-plugins-demo

A simple example of defining custom plugins for clang and the clang static analyzer.

clang-tool

framework for a c++ tools using LLVM libtooling

clang-tutor

A collection of out-of-tree Clang plugins for teaching and learning

clang-tutorial

A collection of code samples showing usage of clang and llvm as a library

clreflect

C++ Reflection using clang

coarct

Code Analysis and Refactoring with Clang Tools

codechecker

CodeChecker is an analyzer tooling, defect database and viewer extension for the Clang Static Analyzer and Clang Tidy

cosa

CoreIR Symbolic Analyzer

cpp-boilerplate

A small c++ template with modern CMake

cpp-reflection

C++ Reflection Parser / Runtime Skeleton

cpp-typelist

Small C++ metaprogramming library to manage lists of types

cpplinks

A categorized list of C++ resources.

cppnow-2017

Slides for my C++Now 2017 talk

crave

Constrained random stimuli generation for C++ and SystemC

cvc5

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

dependencies