quentin
Follow
-
souffle Public
Forked from souffle-lang/souffleSoufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
C++ Universal Permissive License v1.0 UpdatedSep 27, 2026 -
-
www.ruby-lang.org Public
Forked from ruby/www.ruby-lang.orgSource of the https://www.ruby-lang.org website.
Ruby UpdatedNov 20, 2025 -
-
revm Public
Forked from bluealloy/revmRust implementation of the Ethereum Virtual Machine.
Rust MIT License UpdatedJul 27, 2025 -
souffle-lang.github.io Public
Forked from souffle-lang/souffle-lang.github.ioSoufflé
HTML UpdatedMar 25, 2025 -
-
llvm-project Public
Forked from llvm/llvm-projectThe LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
LLVM Other UpdatedOct 16, 2024 -
-
-
aoc22-datalog Public
Advent of Code 2022 in Datalog
-
p4ruby Public
Forked from perforce/p4rubyP4Ruby is a wrapper for the P4 C++ API in Ruby.
C++ Other UpdatedFeb 14, 2023 -
souffle.vim Public
Forked from souffle-lang/souffle.vimSyntax highlighting for souffle files
Vim Script MIT License UpdatedDec 14, 2022 -
diff2html Public
Forked from rtfpessoa/diff2htmlPretty diff to html javascript library (diff2html)
TypeScript MIT License UpdatedAug 20, 2022 -
-
elm-split-pane Public
Forked from whale9490/elm-split-paneSplit pane for elm | Elm package:
-
-
xs3p Public
Forked from bitfehler/xs3pModernized fork of the xs3p XSD documentation tool - using bootstrap, markdown and HTML5.
XSLT Other UpdatedOct 5, 2021 -
elm-markdown Public
Forked from dillonkearns/elm-markdownExtensible markdown parser with custom rendering, in pure Elm.
Elm BSD 3-Clause "New" or "Revised" License UpdatedSep 8, 2021 -
-
tofbot Public
Forked from soulaklabs/tofbotUn bot IRC qu'il est bonne ambiance
Python BSD 2-Clause "Simplified" License UpdatedApr 8, 2021 -
esp32_https_server Public
Forked from fhessel/esp32_https_serverTLS-enabled web server for the ESP32 using the Arduino core.
C++ MIT License UpdatedNov 30, 2019 -
bitoduc.fr Public
Forked from soulaklabs/bitoduc.frA website about french words for computer concepts.
JavaScript UpdatedAug 1, 2019 -
soot Public
Forked from soot-oss/sootSoot - A Java optimization framework
Java GNU Lesser General Public License v2.1 UpdatedAug 10, 2013 -
-
teemp Public
transparently redirects GNU tee outputs to a shared memory directory or basically any directory
Shell UpdatedMar 10, 2013 -
-
Duplicity-progress Public
Provides progression feedback for the duplicity tool.
-