This is stars and forks stats for /Simspace/avaleryar repository. As of 28 Apr, 2024 this repository has 48 stars and 9 forks.
Avaleryar An implementation of Soutei. Not yet fit for human consumption. It's easier to ask forgiveness than it is to get permission. --Rear Admiral Grace Murray Hopper Overview Avaleryar is an implementation of Pimlott and Kiselyov's Soutei trust-management system, comprising A Datalog-like rule language for describing authorization policies (including the evaluator, parser, and a pretty-printer). Convenient library support for extending the policy language with application-specific predicates. A...
Avaleryar An implementation of Soutei. Not yet fit for human consumption. It's easier to ask forgiveness than it is to get permission. --Rear Admiral Grace Murray Hopper Overview Avaleryar is an implementation of Pimlott and Kiselyov's Soutei trust-management system, comprising A Datalog-like rule language for describing authorization policies (including the evaluator, parser, and a pretty-printer). Convenient library support for extending the policy language with application-specific predicates. A...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
input-output-hk/ouroboros-network | HaskellShellNix | 256 | 0 | 87 | 0 |
urbit/urbit | hoonJavaScriptTypeScript | 3.4k | 0 | 364 | 0 |
leanprover-community/lean-liquid | LeanOther | 136 | 0 | 11 | 0 |
revarbat/BOSL2 | OpenSCADOther | 616 | +1 | 87 | 0 |
jaredtao/TaoQuick | QMLPowerShellCMake | 1.2k | 0 | 313 | 0 |
tidymodels/TMwR | RMarkdownRTeX | 537 | 0 | 232 | 0 |
twitter/scrooge | ScalaJavaMustache | 780 | 0 | 255 | 0 |
CBATeam/CBA_A3 | SQFC++Pawn | 350 | 0 | 143 | 0 |
TheBloodthirster/BUAA_Course_Sharing | MathematicaJavaMATLAB | 1.1k | +6 | 245 | +3 |
NixOS/nixos-hardware | NixRubyPython | 1.2k | +9 | 422 | +5 |