Pinned Repositories
aoc21-datalog
Advent of Code 2021 in Souffle datalog
aoc22-datalog
Advent of Code 2022 in Datalog
aoc23-datalog
Advent of Code 2023 in Datalog
Duplicity-progress
Provides progression feedback for the duplicity tool.
elm-split-pane
Split pane for elm | Elm package:
soge-ruby
Acces aux comptes particuliers de la Societe Generale
souffle
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
souffle-lang.github.io
Soufflé
bitoduc.fr
A website about french words for computer concepts.
quentin's Repositories
quentin/aoc22-datalog
Advent of Code 2022 in Datalog
quentin/Duplicity-progress
Provides progression feedback for the duplicity tool.
quentin/aoc21-datalog
Advent of Code 2021 in Souffle datalog
quentin/elm-split-pane
Split pane for elm | Elm package:
quentin/soge-ruby
Acces aux comptes particuliers de la Societe Generale
quentin/soundcloud-rss-ruby
Get your SoundCloud RSS Feed!
quentin/aoc23-datalog
Advent of Code 2023 in Datalog
quentin/xs3p
Modernized fork of the xs3p XSD documentation tool - using bootstrap, markdown and HTML5.
quentin/bitoduc.fr
A website about french words for computer concepts.
quentin/diff2html
Pretty diff to html javascript library (diff2html)
quentin/elm-markdown
Extensible markdown parser with custom rendering, in pure Elm.
quentin/esp32_https_server
TLS-enabled web server for the ESP32 using the Arduino core.
quentin/makamail
quentin/msgraph-sdk-ruby
quentin/p4ruby
P4Ruby is a wrapper for the P4 C++ API in Ruby.
quentin/soot
Soot - A Java optimization framework
quentin/souffle
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
quentin/souffle-lang.github.io
Soufflé
quentin/souffle-web
Web frontend for Souffle, written in Elm
quentin/souffle.vim
Syntax highlighting for souffle files
quentin/spinmake
Spinmake will spin the sh*t out of your Makefile
quentin/teemp
transparently redirects GNU tee outputs to a shared memory directory or basically any directory
quentin/tofbot
Un bot IRC qu'il est bonne ambiance