sylvainhalle Goto Github PK

antdeploy

Scripts to publish a Java package to the Central Repository

antrun

A general-purpose Ant build script

awesome-open-science-software

awesome open list of pointers about open science for software and computational science

azrael

A universal Java serialization library

beepbeep-3-site-source

Source code for the BeepBeep 3 website

beepbeepconsole

Web browser front-end for the BeepBeep runtime monitor

beepbeepcsharp

C# port of the BeepBeep runtime monitor

beepkitu

BeepBeep adaptation of the Lakitu platformer

bibtex2html

Convert BibTeX files into HTML documents through LaTeX

boolean-coverage-toolkit

Generate test suites for Boolean formulas according to various coverage criteria

buffertannen

Protocol for one-way communication channels

bullwinkle

An on-the-fly parser for BNF grammars

casa

Covering Arrays by Simulated Annealing

cccvtk

The Canadian Common CV Toolkit

ccv-tweak

Improvements to the interface of the Canadian Common CV

counters

crl

Chronicle Recognition Library (CRL): recognition of searched-for behaviours in large event flows

exos-oct18

Exercices des séances du 12 octobre et 22 novembre 2018

fantasticwindmill

A static web site generator for PHP programmers

firewallcheck

Firewall anomaly detectors

formalise22-artifact

Replication artifact for a submission to FormaliSE 2022

ghdlcount

Count release downloads on GitHub and generate badges

gitbook-latex

Compile a GitBook project into a LaTeX document

gitbook-pandoc

Converts Gitbook directory to LaTeX using Pandoc

gyrogearloose

Ou Géo Trouvetout

hitting-set

A Clojure library to find hitting sets and set covers

icst22

Replication package for a paper submitted to ICST 2022

inkscapeslide

Inkscape Slide creates .pdf slideshows based on Inkscape SVG layers

inkscapeslidex

jerrydog

Web application server in Java