This is stars and forks stats for /kbertalan/idris2-go repository. As of 26 Apr, 2024 this repository has 5 stars and 0 forks.
Idris2 Go Idris2 Go is a library for generating go programs and an Idris2 compiler backend for generating go programs from Idris2 source code. This tool is for experimental use only, relying on it in production systems is not advised. While some Idris2 programs might work with this tool, there are some features missing, which can make the generated programs unusable (mainly on non-Linux OS-es) or slow (compared to other backends). Installation The easiest way to install idris2-go is to use idris2-pack: pack...
Idris2 Go Idris2 Go is a library for generating go programs and an Idris2 compiler backend for generating go programs from Idris2 source code. This tool is for experimental use only, relying on it in production systems is not advised. While some Idris2 programs might work with this tool, there are some features missing, which can make the generated programs unusable (mainly on non-Linux OS-es) or slow (compared to other backends). Installation The easiest way to install idris2-go is to use idris2-pack: pack...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
msaouab/ft_transcendence | TypeScriptMakefileEJS | 3 | 0 | 3 | 0 |
politician/template-terraform | MakefileHCLGo | 1 | 0 | 1 | 0 |
Snaacky/dndserver | PythonOther | 262 | 0 | 67 | 0 |
open-mmlab/mmagic | Jupyter NotebookPythonOther | 5.8k | +16 | 983 | +4 |
rom1504/img2dataset | PythonJupyter NotebookShell | 2.7k | 0 | 270 | 0 |
freedmand/semantra | PythonSvelteTypeScript | 2k | +60 | 109 | +4 |
ehrbase/integration-tests | RobotFrameworkPythonOther | 1 | 0 | 2 | 0 |
github-linguist/linguist | RubyCGo | 11.3k | +10 | 4.3k | +3 |
megabyte-labs/install.doctor | ShellVim ScriptStandard ML | 54 | 0 | 11 | 0 |
srvrco/getssl | ShellOther | 2k | +4 | 367 | 0 |