jackbergus Goto Github PK

-facerei

HackCortona: Hackaton in Cortona, August 6-7 Cortona, Italy

aaltaf

SAT-based LTLf Satisfiability Checker

amppercent7

This is a Multi-Chat Project developed with Android SDK and Beem-Asmack library.

approxprobtracealign

Implementation of the (Approximate) Probabilistic Trace Alignment. To compile the code, see the demo below.

argmine

backward-cpp

A beautiful stack trace pretty printer for C++

block_tcp

The program blocks all the incoming/outcoming IP packets from a given remote IP or domain names after a given time.

bolt_tutorial

Bolt is a language with in-built data-race freedom!

bpm21

bpm21-dataalign

Paper on BPM21

bpmtk

c-cpp_reference_book

Code snippets to illustrate, demonstrate and be of example for concepts in the book.

code-used-on-daniel-lemire-s-blog

This is a repository for the code posted on my blog

cpp-text-table

C++ text table: format text in tabular form

datatypelang

Defining a Parser, Lexer and a Compiler to be dinamically defined

dgdl-parser

Python parser for the new version of DGDL

dgep-ws

Web Service for the Dialogue Game Execution Platform

disease

This project provides an implementation of a subset of IBM Watson architecture from scratch.

dynamic_memory

Providing a memory allocation preserving the locality principle

eeel

faktoryelcoworker

Collaborative Distributed Architecture model in a very large number of Factorial Calculator

fast-cpp-csv-parser

fast-cpp-csv-parser

fastcsv

fhosp

Yet another query plan associated to the Graph Nesting operator for OSN.

fishingforfishies

foodbroker

Data generator for business process data

fp-growth

A C++ implementation of the FP-growth algorithm

fp-growth-java

A simple implementation of FP-growth algorithm in Java

frequent-subgraph-mining

fsharp-logic-examples

Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to F#.