tiros-dev
Popular repositories Loading
-
bazel-deps
bazel-deps PublicForked from bazeltools/bazel-deps
Generate bazel dependencies for maven artifacts
Scala
-
-
souffle
souffle PublicForked 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++
-
-
melpa
melpa PublicForked from melpa/melpa
Scripts for building Emacs packages from Version Control
Emacs Lisp
Repositories
- cloudformation-template-generator Public Forked from Bayer-Group/cloudformation-template-generator
A type-safe Scala DSL for generating CloudFormation templates
tiros-dev/cloudformation-template-generator’s past year of commit activity - 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 lines of code. Soufflé aims at producing high-performance C++ code that can be compiled with the native compiler on the target machine.
tiros-dev/souffle’s past year of commit activity - tql-mode Public
tiros-dev/tql-mode’s past year of commit activity
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…