This is stars and forks stats for /plfa/plfa.github.io repository. As of 27 Apr, 2024 this repository has 1258 stars and 275 forks.
title permalink Getting Started /GettingStarted/ Getting Started for Readers You can read PLFA online without installing anything. However, if you wish to interact with the code or complete the exercises, you need several things: On macOS: The XCode Command Line Tools Git GHC and Cabal Agda Agda standard library PLFA PLFA is tested against specific versions of Agda and the standard library, which are shown in the badges above. Agda and the standard library change rapidly,...
title permalink Getting Started /GettingStarted/ Getting Started for Readers You can read PLFA online without installing anything. However, if you wish to interact with the code or complete the exercises, you need several things: On macOS: The XCode Command Line Tools Git GHC and Cabal Agda Agda standard library PLFA PLFA is tested against specific versions of Agda and the standard library, which are shown in the badges above. Agda and the standard library change rapidly,...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
calc84maniac/tiboyce | AssemblyCOther | 326 | 0 | 22 | 0 |
openresty/lua-resty-core | LuaPerlMakefile | 751 | 0 | 267 | 0 |
kevinhwang91/nvim-hlslens | LuaOther | 626 | 0 | 8 | 0 |
tjdevries/colorbuddy.nvim | LuaHTMLOther | 518 | 0 | 16 | 0 |
swedishembedded/control | MATLABPerlC | 76 | 0 | 19 | 0 |
rottytooth/Olympus | PEG.jsJavaScriptHTML | 27 | 0 | 2 | 0 |
supabase/vault | PLpgSQLShellDockerfile | 149 | 0 | 6 | 0 |
carloswvas/Educacional | HTMLPortugolCSS | 1 | 0 | 10 | 0 |
CrumpLab/statistics | PostScriptTeXR | 114 | 0 | 46 | 0 |
nicolargo/glances | PythonVueMakefile | 23.6k | 0 | 1.4k | 0 |