This is stars and forks stats for /LPCIC/elpi repository. As of 25 Apr, 2024 this repository has 242 stars and 29 forks.
ELPI - Embeddable λProlog Interpreter ELPI implements a variant of λProlog enriched with Constraint Handling Rules, a programming language well suited to manipulate syntax trees with binders. ELPI is designed to be embedded into larger applications written in OCaml as an extension language. It comes with an API to drive the interpreter and with an FFI for defining built-in predicates and data types, as well as quotations and similar goodies that come in handy to adapt the language to the host application. ELPI...
ELPI - Embeddable λProlog Interpreter ELPI implements a variant of λProlog enriched with Constraint Handling Rules, a programming language well suited to manipulate syntax trees with binders. ELPI is designed to be embedded into larger applications written in OCaml as an extension language. It comes with an API to drive the interpreter and with an FFI for defining built-in predicates and data types, as well as quotations and similar goodies that come in handy to adapt the language to the host application. ELPI...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
purescript-spec/purescript-spec | PureScriptJavaScriptMakefile | 133 | 0 | 46 | 0 |
papyros/qml-material | QMLJavaScriptC++ | 2.5k | 0 | 484 | 0 |
commonsense/conceptnet5 | RoffPythonHTML | 2.7k | 0 | 356 | 0 |
pingcap/talent-plan | RustGoMakefile | 9.3k | 0 | 1.2k | 0 |
rust-lang/rustup | RustShellHTML | 5.6k | 0 | 853 | 0 |
osohq/oso | RustPythonTypeScript | 3.2k | 0 | 163 | 0 |
scalameta/scalafmt | ScalaShellJava | 1.4k | 0 | 274 | 0 |
pages-themes/leap-day | SCSSHTMLRuby | 184 | 0 | 453 | 0 |
zerostaticthemes/hugo-winston-theme | SCSSHTMLJavaScript | 221 | 0 | 91 | 0 |
v2net/ios | SCSSCSSHTML | 976 | 0 | 152 | 0 |