Pinned Repositories
ddisasm
A fast and accurate disassembler
homebrew-souffle
Brew Scripts
MkIVSystem
Adds a new large aircraft fuselage profile to Kerbal Space Program
mmcgr.github.io
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 lines of code. Soufflé aims at producing high-performance C++ code that can be compiled with the native compiler on the target machine.
souffle-web
A web interface for Soufflé
souffle.vim
Syntax highlighting for souffle files
stepmania
Advanced rhythm game for Windows, Linux and OS X. Designed for both home and arcade use.
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.
souffle.vim
Syntax highlighting for souffle files
mmcgr's Repositories
mmcgr/souffle.vim
Syntax highlighting for souffle files
mmcgr/ddisasm
A fast and accurate disassembler
mmcgr/homebrew-souffle
Brew Scripts
mmcgr/MkIVSystem
Adds a new large aircraft fuselage profile to Kerbal Space Program
mmcgr/mmcgr.github.io
mmcgr/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 lines of code. Soufflé aims at producing high-performance C++ code that can be compiled with the native compiler on the target machine.
mmcgr/souffle-web
A web interface for Soufflé
mmcgr/stepmania
Advanced rhythm game for Windows, Linux and OS X. Designed for both home and arcade use.