Pinned Repositories
addelevation
Add elevation data to GPX files
clang
Mirror of official clang git repository located at http://llvm.org/git/clang. Updated every five minutes.
graphcode2vec
julienhenry.github.io
Personnal web page
pagai
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.
tree-sitter-souffle
Tree Sitter Grammar for the Soufflé language
Verif-Benchmarks
vscode-souffle-langserver
Soufflé language support for vscode
WALi-OpenNWA
Home for the WALi weighted automaton library and OpenNWA nested-word automaton library
julienhenry's Repositories
julienhenry/pagai
julienhenry/tree-sitter-souffle
Tree Sitter Grammar for the Soufflé language
julienhenry/Verif-Benchmarks
julienhenry/vscode-souffle-langserver
Soufflé language support for vscode
julienhenry/addelevation
Add elevation data to GPX files
julienhenry/clang
Mirror of official clang git repository located at http://llvm.org/git/clang. Updated every five minutes.
julienhenry/graphcode2vec
julienhenry/julienhenry.github.io
Personnal web page
julienhenry/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.
julienhenry/WALi-OpenNWA
Home for the WALi weighted automaton library and OpenNWA nested-word automaton library