-
Yggdrasil Public
Forked from JuliaPackaging/YggdrasilCollection of builder repositories for BinaryBuilder.jl
Julia Other UpdatedJun 4, 2024 -
souffle Public
Forked from souffle-lang/souffleSoufflé is a translator of declarative Datalog programs into the C++ language. Soufflé is used as a domain-specific language for static program analysis, over large code bases with millions of line…
-
soufflai Public
Neural network implementation in Souffle, a logic-programming language
Python UpdatedJan 23, 2021 -
souffle.vim Public
Forked from souffle-lang/souffle.vimSyntax highlighting for souffle files
Vim Script MIT License UpdatedOct 14, 2020 -
-
-
-
-
lambdul Public
Lambda calculus interpreter written in Java
-
thouffle Public
Lisp to C++ compiler written in Soufflé - a dialect of Datalog
6 UpdatedApr 11, 2019 -
-
-
souffle-lang.github.io Public
Forked from souffle-lang/souffle-lang.github.ioSoufflé
CSS UpdatedNov 18, 2017 -
-
{{ message }}