kalatestimine/multicompiler-clang
LLVM-based compiler to create artificial software diversity to protect software from code-reuse attacks.
Discovered public repositories for kalatestimine in the GitHub catalog.
LLVM-based compiler to create artificial software diversity to protect software from code-reuse attacks.
LLVM-based compiler to create artificial software diversity to protect software from code-reuse attacks.
A replicated database with a formally-verified implementation of Paxos
MPI based algorithm for detecting high centrality vertices in large graphs
High-Performance Graph Primitives on GPUs
C package that solves convex cone problems via operator splitting
Distributed Graph Analytics (DGA) is a compendium of graph analytics written for Bulk-Synchronous-Parallel (BSP) processing frameworks such as Giraph and GraphX. The analytics included are High Betweenness Set Extraction, Weakly Connected Components, Page Rank, Leaf Compression, and Louvain Modularity.
A vertex-centric CUDA/C++ API for large graph analytics on GPUs using the Gather-Apply-Scatter abstraction
NumPy aware dynamic Python compiler using LLVM
NumPy and Pandas interface to Big Data
Figaro Programming Language and Core Libraries
This Scrapy project uses Redis and Kafka to create a distributed on demand scraping cluster.
Deploy, run and monitor your Scrapy spiders.
Public repository.
Driver for verifying C libraries using the CBMC model-checker.
an architecture-independent decompiler to LLVM IR
Orly™ Graph Database
Public repository.
Contracts for Java
Caffe: a fast open framework for deep learning.
The .NET Compiler Platform ("Roslyn") provides open-source C# and Visual Basic compilers with rich code analysis APIs.
latest known svn revision of the trigunflame peertracker, which is a lightweight PHP/SQL BitTorrent Tracker
Forked on 2013_03_12 from https://github.com/reddwarf-nextgen/reddwarf
Just one, unmaintained, irrelevant fork of the http://www.webglearth.org/ repository.
2012. aasta sügisel Tallinna Tehnikaülikoolis toimuva õppeaine, "Tarkvara testimise alused", grupitöö projekt.