Beast code in Giters

Fabian Schiebel's repositories

phasar

A LLVM-based static analysis framework.

Language:C++NOASSERTION300

pool_allocator

Custom memory allocators for speeding up node-based containers and object graphs

Language:C++MIT1 10

immer

Postmodern immutable and persistent data structures for C++ — value semantics at scale

Language:C++BSL-1.0000

insect-logger

A simple, lightweight logger with minimalistic dependencies

Language:C++MIT000

llvm-project

This is the canonical git mirror of the LLVM subversion repository. The repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.

NOASSERTION000

LRUCache

A simple, header-only C++ library for Least-Recently-Used Caching

Language:C++MIT010

z3

The Z3 Theorem Prover

Language:C++NOASSERTION000