Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists by sylvainhalle

A curated list of projects in awesome lists by sylvainhalle .

https://github.com/sylvainhalle/textidote

Spelling, grammar and style checking on LaTeX documents

grammar-checker languagetool latex linter spell-check spell-checker

Last synced: 11 Oct 2024

https://github.com/sylvainhalle/papershell

Nice and flexible template environment for papers written in LaTeX

acm conference elsevier ieee journal latex makefile overleaf paper research-paper template tex

Last synced: 09 Nov 2024

https://github.com/sylvainhalle/bullwinkle

An on-the-fly parser for BNF grammars

bnf character-string grammar parsing

Last synced: 28 Oct 2024

https://github.com/sylvainhalle/gitbook-latex

Compile a GitBook project into a LaTeX document

book gitbook latex latex-template markdown pandoc pandoc-markdown

Last synced: 11 Oct 2024

https://github.com/sylvainhalle/nserc-latex-template

A LaTeX template for NSERC Discovery Grant applications

grant latex-template nserc

Last synced: 11 Oct 2024

https://github.com/sylvainhalle/mrsim

A simple MapReduce framework in Java

hadoop java mapreduce tuples

Last synced: 11 Oct 2024

https://github.com/sylvainhalle/fantasticwindmill

A static web site generator for PHP programmers

php static-site-generator

Last synced: 11 Oct 2024

https://github.com/sylvainhalle/cccvtk

The Canadian Common CV Toolkit

Last synced: 11 Oct 2024

https://github.com/sylvainhalle/turtledb

A mini distributed database engine in Java

Last synced: 11 Oct 2024

https://github.com/sylvainhalle/beepkitu

BeepBeep adaptation of the Lakitu platformer

Last synced: 11 Oct 2024

https://github.com/sylvainhalle/reviewer-tropes

A humorous repository of common sophisms, fallacies and dodgy arguments used by reviewers of Computer Science research papers

Last synced: 11 Oct 2024

https://github.com/sylvainhalle/virus-contagion

BeepBeep virus contagion simulator replicating an article from the Washington Post about COVID-19

beepbeep cep covid-19 covid-virus simulation simulator

Last synced: 11 Oct 2024

https://github.com/sylvainhalle/qict

A pairwise test case generator

c-sharp combinatorial-testing qict testing-tools

Last synced: 11 Oct 2024

https://github.com/sylvainhalle/traceadapter

Automated translation of event traces and temporal properties

Last synced: 11 Oct 2024

https://github.com/sylvainhalle/ghdlcount

Count release downloads on GitHub and generate badges

download-counts github github-releases release

Last synced: 11 Oct 2024

https://github.com/sylvainhalle/bibtex2html

Convert BibTeX files into HTML documents through LaTeX

Last synced: 11 Oct 2024

https://github.com/sylvainhalle/exos-oct18

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

Last synced: 11 Oct 2024

https://github.com/sylvainhalle/ccv-tweak

Improvements to the interface of the Canadian Common CV

Last synced: 11 Oct 2024

https://github.com/sylvainhalle/slidecrunch

Create slideshows, handouts and subtitles from your SVG and PDF files

avisynth handout pdf presentation slideshow slideshow-maker subtitles

Last synced: 11 Oct 2024

https://github.com/sylvainhalle/antrun

A general-purpose Ant build script

ant build-scripts coverage-report jacoco jar java junit

Last synced: 11 Oct 2024

https://github.com/sylvainhalle/rmconvert

Converts reMarkable documents into annotated PDFs, with options to adjust the output

Last synced: 11 Oct 2024

https://github.com/sylvainhalle/labpal-project

An empty project using the LabPal framework

Last synced: 11 Oct 2024

https://github.com/sylvainhalle/formalise22-artifact

Replication artifact for a submission to FormaliSE 2022

Last synced: 11 Oct 2024

https://github.com/sylvainhalle/antdeploy

Scripts to publish a Java package to the Central Repository

Last synced: 11 Oct 2024

https://github.com/sylvainhalle/boolean-coverage-toolkit

Generate test suites for Boolean formulas according to various coverage criteria

Last synced: 11 Oct 2024

https://github.com/sylvainhalle/beepbeepconsole

Web browser front-end for the BeepBeep runtime monitor

Last synced: 11 Oct 2024

https://github.com/sylvainhalle/beepbeep-3-site-source

Source code for the BeepBeep 3 website

Last synced: 11 Oct 2024

https://github.com/sylvainhalle/gyrogearloose

Ou Géo Trouvetout

qr-code qrcode

Last synced: 11 Oct 2024

https://github.com/sylvainhalle/languagetool-bundle

Repository with scripts to build a self-contained fat JAR for LanguageTool

fatjar languagetool

Last synced: 11 Oct 2024

https://github.com/sylvainhalle/beepbeepcsharp

C# port of the BeepBeep runtime monitor

Last synced: 11 Oct 2024

https://github.com/sylvainhalle/casa

Covering Arrays by Simulated Annealing

Last synced: 11 Oct 2024

https://github.com/sylvainhalle/tcases-standalone

Wrapper over the Tcases tool to make a runnable jar

combinatorial-testing tcases testing-tools

Last synced: 11 Oct 2024

https://github.com/sylvainhalle/littlepoucet

Trace data points back to their source

Last synced: 11 Oct 2024

https://github.com/sylvainhalle/ptlogger2

A time tracking application using BeepBeep

Last synced: 11 Oct 2024

https://github.com/sylvainhalle/stev-booleans

Simple manipulation of Boolean formulas

Last synced: 11 Oct 2024

https://github.com/sylvainhalle/firewallcheck

Firewall anomaly detectors

Last synced: 11 Oct 2024

https://github.com/sylvainhalle/beepbeep-sensor-events

Processing sensor events with BeepBeep

Last synced: 09 Nov 2024