This is stars and forks stats for /jameshaydon/lawvere repository. As of 03 May, 2024 this repository has 251 stars and 5 forks.
Lawvere A categorical programming language with effects Install • Tutorial • Editor support • Development Very work-in-progress (.playerA .points - .playerB .points) { leader = (> 0) [ true = "A", false = "B"], delta = abs show } "Player {.leader} is winning by {.delta} points!" Compile to any category that has structures corresponding to the programming features you use (cartesian closed, distributive, etc.). Comes with is an evaluator in Haskell, a compiler to JavaScript, and a "bytecode"...
Lawvere A categorical programming language with effects Install • Tutorial • Editor support • Development Very work-in-progress (.playerA .points - .playerB .points) { leader = (> 0) [ true = "A", false = "B"], delta = abs show } "Player {.leader} is winning by {.delta} points!" Compile to any category that has structures corresponding to the programming features you use (cartesian closed, distributive, etc.). Comes with is an evaluator in Haskell, a compiler to JavaScript, and a "bytecode"...
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| omenking/terraform-beginner-bootcamp-2023 | HCLGoRuby | 48 | +2 | 14 | +3 |
| idurar/erp-crm | JavaScriptPugLess | 1.6k | 0 | 447 | 0 |
| lean-dojo/LeanInfer | LeanC++Shell | 27 | +2 | 1 | 0 |
| lifebottle/blog | LiquidSCSSJavaScript | 0 | 0 | 0 | 0 |
| paulopreto/IBmBiomec | ShellPython | 0 | 0 | 0 | 0 |
| aoijs/website | MDXJavaScriptCSS | 15 | 0 | 18 | 0 |
| NixOS/nixos-org-configurations | NixSmartyHCL | 178 | 0 | 87 | 0 |
| OCamlPro/superbol-studio-oss | OCamlHTMLCOBOL | 3 | 0 | 6 | 0 |
| JoelGMSec/HTTP-Shell | PythonPowerShellShell | 167 | 0 | 22 | 0 |
| julianmclean/SiriProxy-LWRF-orig | RubyShell | 0 | 0 | 0 | 0 |