hotpeperoncino Goto Github PK

bitvec

canary

A unification-based alias analysis and some relative tools

crocopat

crocopat

esp8266-smartwatch

ESP8266 DIY WiFi Smartwatch with MPU-9250, RTC, OLED, FT232, ...

ewahboolarray

A compressed bitmap class in C++.

flix

The Flix Programming Language

graphdataformatconverter

Graph Data Converter

graphlayoutlibrary

from https://github.com/persistentsystems/LayoutLibrary

hufter

Stock Data and Backtesting API

lfcpa

Liveness-based pointer analysis for LLVM

llvmaamock

llvm alias analysis pass mock (skeleton)

llvmbuild

ng-admin

Add an AngularJS admin GUI to any RESTful API

node-zip.js

zip.js for node (trial) src copied from

pairwise

web front-end for microsoft PICT pairwise test case generator tool, cloned from http://abouttesting.blogspot.se/2011/03/pairwise-test-case-design-part-four.html

qemu

Pebble fork of qemu

sam_board

Hardware and software files for custom AT91SAM9N12 Linux board

satsmt-example

Datalog, SAT/SMT solver first program

sfs

staged flow sensitive pointer analysis llvm

souffle

Soufflé is a translator of declarative Datalog programs into the C++ language. Soufflé is used as a domain-specific language for static program analysis, over large code bases with millions of lines of code. Soufflé aims at producing high-performance C++ code that can be compiled with the native compiler on the target machine.

superv3s

Evaluation board for Allwinner V3s

svf

Static Value-Flow Analysis in LLVM

svf-experiment

SVF copied from https://github.com/unsw-corg/SVF before they changed license

ta4j

A Java library for technical analysis

tpa

Pointer Analysis with Tunable Precision

urban-eureka

vlog

VLog is a high-performance Datalog engine. It is highly memory efficient and can process large programs with thousands of rules.