-
-
-
cyclecloud-mclaren Public
CycleCloud templates with multiple "node arrays", for PBS and SLURM.
Shell The Unlicense UpdatedMar 5, 2020 -
luna Public
Forked from dchirikov/lunaProvisioning tool for clusters
Python GNU General Public License v3.0 UpdatedOct 27, 2016 -
-
trinity Public
Forked from abhimukh/fastClusterVision OpenStack Trinity repository
Shell UpdatedJan 23, 2016 -
misc-scripts Public
Little scripts collected or written through the years.
Python UpdatedDec 1, 2014 -
-
budget-visualization Public
Visualize expenses against income by month and category.
Python The Unlicense UpdatedMay 11, 2013 -
smart-access Public
A platform for the development of secure applications in the context of cloud computing access control.
-
predict-remote Public
Client/server wrapper around the LIBLINEAR's Python interface.
Python The Unlicense UpdatedDec 10, 2012 -
-
nesy-hs Public
Neural-Symbolic Rule-Based Monitoring (Haskell version).
Haskell The Unlicense UpdatedNov 3, 2012 -
seq-acl Public
A decidable theorem prover for the modal access control logic "ACL+". Implements an analytic labeled sequent calculus for access control logic along with an automatic generation of human-readable p…
-
acl-lean Public
A theorem prover for propositional access control logic with "says" operator. Implements Seq-ACL, an analytic labeled sequent calculus for access control logic along with an automatic generation of…
-
secommunity Public
A collection of tools that can be used to define distributed access control policies using an extension of the Answer Set Programming system DLV. In particular, several external predicates were dev…
-
delegation2spass Public
A reducer and translator for a set of complete reduction axioms. Simplifies dynamic formulae for a delegation/revocation logic and converts them into propositional logic expressed in DFG syntax.
-
macl2thf Public
A translator from policies written in modal access control logic (M-ACL) into higher-order formulae expressed in THF0, the core of the TPTP language, based on Church's simple type theory. The resul…
Scheme The Unlicense UpdatedNov 2, 2012 -
-
macl2spass Public
A translator from policies written in modal access control logic (M-ACL) into first-order formulae expressed in DFG syntax. The resulting output can be directly used to reason about access control…
Scheme The Unlicense UpdatedNov 2, 2012 -
-
random-attack Public
Consensus in asynchronous networks with random faults.
-
pinterpreter Public
A π-calculus interpreter and type-checker.
OCaml The Unlicense UpdatedNov 2, 2012 -
isomorphism Public
A Prolog isomorphism checker for Intersection Types.
Prolog The Unlicense UpdatedNov 2, 2012 -
interactive-realizers Public
An implementation of interactive realizers for classical arithmetic without nested quantifiers.
Scheme The Unlicense UpdatedNov 1, 2012 -
txt2ws Public
Translate your ASCII files to a Whitespace program that outputs back your original text.
C The Unlicense UpdatedNov 1, 2012 -
{{ message }}