This is stars and forks stats for /IDNI/TML repository. As of 08 May, 2024 this repository has 116 stars and 28 forks.
Introduction TML (Tau Meta-Language) is a variant of Datalog. It is intended to serve as a translator between formal languages (and more uses, see under the Philosophy section). The main difference between TML and common Datalog implementations is that TML works under the Partial Fixed-Point (PFP) semantics, unlike common implementations that follow the Well-Founded Semantics (WFS) or stratified Datalog. By that TML (like with WFS) imposes no syntactic restrictions on negation, however unlike WFS...
Introduction TML (Tau Meta-Language) is a variant of Datalog. It is intended to serve as a translator between formal languages (and more uses, see under the Philosophy section). The main difference between TML and common Datalog implementations is that TML works under the Partial Fixed-Point (PFP) semantics, unlike common implementations that follow the Well-Founded Semantics (WFS) or stratified Datalog. By that TML (like with WFS) imposes no syntactic restrictions on negation, however unlike WFS...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
quentincaffeino/godot-console | GDScriptPythonBatchfile | 639 | 0 | 52 | 0 |
LambdaTest/geb-parallel-sample-code | GroovyShell | 14 | 0 | 19 | 0 |
sjurgemeyer/GR8-US-2012 | GroovyJavaScriptGosu | 35 | 0 | 12 | 0 |
cardano-foundation/dab | HaskellNixHTML | 36 | 0 | 8 | 0 |
dauparas/ProteinMPNN | Jupyter NotebookPythonShell | 650 | 0 | 181 | 0 |
MAIF/shapash | Jupyter NotebookPythonCSS | 2.5k | 0 | 293 | 0 |
kanake10/Cocktails | KotlinRubyShell | 30 | 0 | 13 | 0 |
darwin-morocho/flutter-facebook-auth | DartObjective-CSwift | 174 | 0 | 109 | -1 |
tensorflow/mlir-hlo | MLIRC++Starlark | 331 | 0 | 68 | 0 |
FreeMEM/posadasparty2022 | NunjucksCSSSCSS | 4 | 0 | 0 | 0 |