This is stars and forks stats for /woodrush/lambdavm repository. As of 28 Apr, 2024 this repository has 41 stars and 2 forks.
LambdaVM - A Programmable Virtual CPU Written as an Untyped Lambda Calculus Term LambdaVM is a programmable virtual CPU written as a closed untyped lambda calculus term. It supports an extended version of the ELVM instruction set and architecture written by Shinichiro Hamaji. Using LambdaVM, you can enjoy assembly programming to write programs in untyped lambda calculus. LambdaVM supports 8 instructions including standard I/O and virtual memory operations, and has an arbitrarily configurable ROM/RAM...
LambdaVM - A Programmable Virtual CPU Written as an Untyped Lambda Calculus Term LambdaVM is a programmable virtual CPU written as a closed untyped lambda calculus term. It supports an extended version of the ELVM instruction set and architecture written by Shinichiro Hamaji. Using LambdaVM, you can enjoy assembly programming to write programs in untyped lambda calculus. LambdaVM supports 8 instructions including standard I/O and virtual memory operations, and has an arbitrarily configurable ROM/RAM...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
buildsec/frsca | CUEShellOther | 184 | 0 | 30 | 0 |
dlang-community/dfmt | DShellOther | 195 | 0 | 45 | 0 |
kubernetes-sigs/contributor-playground | DockerfileGoRoff | 159 | 0 | 766 | 0 |
microsoft/vscode-remote-try-cpp | ShellDockerfileC++ | 148 | 0 | 133 | 0 |
joshnuss/design-patterns-in-elixir | ElixirShell | 598 | 0 | 51 | 0 |
upgradingdave/ecukes-completing | Emacs LispShell | 0 | 0 | 0 | 0 |
XusinboyBekchanov/VisualFBEditor | FreeBasicVisual Basic 6.0Rich Text Format | 131 | +1 | 30 | 0 |
hasktorch/hasktorch | HaskellNixC++ | 987 | 0 | 98 | 0 |
ECburx/Idris2GL | IdrisCMakefile | 68 | 0 | 9 | 0 |
huaweicloud/Sermant | JavaVueShell | 673 | 0 | 129 | 0 |