This is stars and forks stats for /cgohla/pureshell repository. As of 29 Apr, 2024 this repository has 21 stars and 0 forks.
PureShell Compile PureScript to shell scripts. The PureScript compiler fortunately makes it easy to write alternative backends, of which there are several. Code Overview Most modules are under the Language.PureShell hierarchy. We have several intermediate languages, these are in order: CoreFn: This is our input language and is defined by the PureScript compiler. It is a form of untyped lambda calculus. Combinatory: Mostly mirrors CoreFn, but in abstractions all free variables have to be bound simultaneously. Procedural Bash:...
PureShell Compile PureScript to shell scripts. The PureScript compiler fortunately makes it easy to write alternative backends, of which there are several. Code Overview Most modules are under the Language.PureShell hierarchy. We have several intermediate languages, these are in order: CoreFn: This is our input language and is defined by the PureScript compiler. It is a form of untyped lambda calculus. Combinatory: Mostly mirrors CoreFn, but in abstractions all free variables have to be bound simultaneously. Procedural Bash:...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
droidconKE/droidconKE2022Android | KotlinOther | 85 | 0 | 58 | 0 |
Nain57/Smart-AutoClicker | KotlinOther | 783 | 0 | 180 | 0 |
ImperialCollegeLondon/natural_number_game | LeanHTMLOther | 278 | 0 | 74 | 0 |
blomstra/flarum-ext-fontawesome | LessPHPOther | 1 | 0 | 0 | 0 |
BttrDrgn/GCN-Translations | AssemblyDockerfileOther | 25 | 0 | 4 | 0 |
Normation/rudder-plugins | ScalaElmPython | 12 | 0 | 24 | 0 |
ciaranmcveigh5/ethernaut-x-foundry | SolidityOther | 247 | 0 | 59 | 0 |
soapyigu/Swift-30-Projects | SwiftOther | 7.8k | 0 | 1.8k | 0 |
lballabio/QuantLib-SWIG | SWIGPythonJava | 303 | 0 | 272 | 0 |
DestinyItemManager/DIM | TypeScriptSCSSOther | 1.9k | 0 | 623 | 0 |