liflab/propositional-machines

Stars
1
Language
Java
Created over 4 years ago
Updated over 4 years ago

liflab/propositional-machines

liflab

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

beepbeep-3

An event stream processor anyone can use

synthia

A configurable synthesizer of complex data structures

beepbeep-3-palettes

A bundle of user-contributed extensions to BeepBeep 3

cornipickle

Versatile web application testing tool

sealtest

A library for generating test sequences according to various algorithms

petitpoucet

Trace data points back to their source

brpc2020

Dépôt Git du projet BRPC 2020

labpal

Easily run experiments on a computer

beepbeep-bitmaps

Bitmap manipulation for LTL formulas in BeepBeep

crawljax-cornipickle-plugin

A plugin for Crawljax using Cornipickle testing tool.

bb-palette-blockchain

A BeepBeep palette for Blockchain

combinatorial-graph-generator

beepbeep-3-examples

A large repository of code examples using BeepBeep and various palettes

PatTheMiner

Real-time data mining palette for the BeepBeep event stream processor

artichoke-x

A library for managing peer-action sequences within document metadata

beepbeep-3-book

User guide for the BeepBeep 3 event stream processing engine

xml-lif

Simple XML parsing and XPath library in Java

missioninfo

Série d'activités ludiques en français visant l'apprentissage de la programmation pour les jeunes