Popular repositories Loading

1. souffle.vim souffle.vim Public

   Forked from souffle-lang/souffle.vim

   Syntax highlighting for souffle files

   Vim Script 1

2. souffle souffle Public

   Forked from souffle-lang/souffle

   Soufflé 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…

   C++ 1

3. stepmania stepmania Public

   Forked from stepmania/stepmania

   Advanced rhythm game for Windows, Linux and OS X. Designed for both home and arcade use.

   C++

4. homebrew-souffle homebrew-souffle Public

   Forked from souffle-lang/homebrew-souffle

   Brew Scripts

   Ruby

5. souffle-web souffle-web Public

   Forked from jbre4/souffle-web

   A web interface for Soufflé

   JavaScript

6. ddisasm ddisasm Public

   Forked from binrats/ddisasm

   A fast and accurate disassembler

   C++