Souffle — Soufflé is a variant of Datalog for tool designers crafting analyses in Horn… · dotstore

Description

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.…

Ratings & Reviews

No ratings yet

Be the first to rate Souffle.

People also visit

B

Builder.io

Drag and drop page building using your code components

Utilities

E

Elasticsearch

Elasticsearch is an open-source, RESTful search engine designed

Utilities

H

Handy

Cross-platform desktop app that transcribes your voice into any text field

Utilities

H

Hermes Agent

Cross-platform desktop agent from Nous Research

Utilities

I

InfluxDB

InfluxDB handles high-velocity, high-resolution time series data at scale

Utilities

K

Kitty

High-performance terminal emulator

Utilities

See all Souffle alternatives

Souffle FAQ

What is 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.

Is Souffle free?

Yes. Souffle is free to use.

Do I need to download Souffle?

No. Souffle runs in your browser at github.com, so there's nothing to install.

Who makes Souffle?

Souffle is made by souffle-lang.

What are the best Souffle alternatives?

Popular alternatives to Souffle include Builder.io, Elasticsearch and Handy. See all Souffle alternatives

Developer Stuff

Badges