This is stars and forks stats for /idris-lang/Idris2 repository. As of 26 Apr, 2024 this repository has 2215 stars and 346 forks.
Idris 2 Idris 2 is a purely functional programming language with first class types. For full installation instructions, see INSTALL.md. Briefly, if you have Chez Scheme installed, with the executable name chez, type: make bootstrap SCHEME=chez make install You may need to change chez to be the local name of your Chez Scheme. This is often one of scheme, chezscheme or chezscheme9.5 (depending on the version). On a modern desktop machine, this process (including tests) should take less than 5 minutes. Idris...
Idris 2 Idris 2 is a purely functional programming language with first class types. For full installation instructions, see INSTALL.md. Briefly, if you have Chez Scheme installed, with the executable name chez, type: make bootstrap SCHEME=chez make install You may need to change chez to be the local name of your Chez Scheme. This is often one of scheme, chezscheme or chezscheme9.5 (depending on the version). On a modern desktop machine, this process (including tests) should take less than 5 minutes. Idris...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
krypto5863/COM-Modular-Installer | Inno SetupC#Batchfile | 161 | 0 | 13 | 0 |
kubeflow/kubeflow | TypeScriptGoJavaScript | 13k | 0 | 2.2k | 0 |
kserve/kserve | PythonGoShell | 2.5k | +10 | 842 | +3 |
google/jsonnet | JsonnetC++Python | 6.4k | +4 | 441 | 0 |
prometheus-operator/kube-prometheus | JsonnetShellGo | 5.7k | +17 | 1.8k | +4 |
kubeflow/examples | JsonnetJupyter NotebookPython | 1.3k | +3 | 738 | 0 |
grafana/grafonnet-lib | JsonnetJavaScriptOther | 1.1k | -1 | 220 | 0 |
kubernetes-monitoring/kubernetes-mixin | JsonnetOther | 1.9k | -1 | 559 | -1 |
FluxML/Flux.jl | Julia | 4.3k | +4 | 574 | 0 |
JuliaLang/julia | JuliaCC++ | 43.3k | +38 | 5.3k | +14 |