thierry-tct

Tests_CPA_ICSE

c1-compiler

Compiler for subset of C

codequery

A code-understanding, code-browsing or code-search tool. This is a tool to index, then query or search C, C++, Java, Python, Ruby, Go and Javascript source code. It builds upon the databases of cscope and ctags, and provides a nice GUI tool.

Colour-Memory

Colour Memory Game

ColourMemory

dd

Configs

dbgbench.github.io

DBGBench Website:

dg

[LLVM Static Slicer] Dependence graph for programs. Generic implementation of dependence graphs with instantiation for LLVM that contains a static slicer for LLVM bitcode

django-user-accounts

User accounts for Django

erpnext

Open Source ERP built for the web

FastBDT

Stochastic Gradient Boosted Decision Trees as Standalone, TMVAPlugin and Python-Interface

flutter_twitter_clone

Fully functional Twitter clone built in flutter framework using Firebase realtime database and storage

ggpy

ggplot port for python

jalangi

Available for legacy purposes. New users please see Jalangi2 https://github.com/Samsung/jalangi2

klee

KLEE Symbolic Virtual Machine

llvm-cbe

resurrected LLVM "C Backend", with improvements

llvm-mutate

manipulate LLVM IR files

llvm-slicing

Symbolic Program Slicing with LLVM

mermaid

Generation of diagram and flowchart from text in a similar manner as markdown

Mutation-Testing

Pathfinder

PRoot

chroot, mount --bind, and binfmt_misc without privilege/setup

PtQuchpdTUmyV50IOG4yJg

purerpc

Asynchronous pure Python gRPC client and server implementation supporting asyncio, uvloop, curio and trio

PyExZ3

Python Exploration with Z3

random-forest

Randomized Decision Trees: A Fast C++ Implementation of Random Forests.

react-mobile-social

The React Mobile Social is an open source social app using React Native.

react-social-network

Simple React Social Network

thesis-template

LaTeX template for PhD thesis

z3

The Z3 Theorem Prover