This is stars and forks stats for /marvinborner/bruijn repository. As of 25 Apr, 2024 this repository has 30 stars and 1 forks.
bruijn A purely academic programming language based on lambda calculus and De Bruijn indices written in Haskell. Jump to examples or use the navigation tree to jump to other sections. Docs, articles, examples and more: website. Features De Bruijn indices[0] eliminate the complexity of α-equivalence and α-conversion Unique bracket-style representation for lambda abstractions enables improved human-readability and faster syntactic perception Call-by-need reduction with great time/memory complexity...
bruijn A purely academic programming language based on lambda calculus and De Bruijn indices written in Haskell. Jump to examples or use the navigation tree to jump to other sections. Docs, articles, examples and more: website. Features De Bruijn indices[0] eliminate the complexity of α-equivalence and α-conversion Unique bracket-style representation for lambda abstractions enables improved human-readability and faster syntactic perception Call-by-need reduction with great time/memory complexity...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
josephsumabat/static-ls | HaskellNix | 59 | +1 | 7 | 0 |
cattle-ops/terraform-aws-gitlab-runner | HCLShellPython | 520 | 0 | 307 | 0 |
fniessen/git-leuven | PerlShell | 13 | 0 | 3 | 0 |
limitusus/ddns-management | PerlShell | 0 | 0 | 0 | 0 |
sail-sg/EditAnything | PythonShell | 2.7k | +14 | 131 | +2 |
microsoft/DeepSpeedExamples | PythonShell | 5k | 0 | 842 | 0 |
keebkaigi/keebkaigi.github.io | SassHamlRuby | 2 | 0 | 13 | 0 |
CloudCannon/sendit-astro-template | SCSSJavaScriptAstro | 46 | +2 | 49 | +1 |
fscarmen2/Argo-Nezha-Service-Container | ShellDockerfile | 195 | 0 | 177 | 0 |
avsthiago/kopylot | ShellPythonMakefile | 76 | 0 | 6 | 0 |