This is stars and forks stats for /agda/agda-stdlib repository. As of 20 Apr, 2024 this repository has 527 stars and 232 forks.
The Agda standard library The standard library aims to contain all the tools needed to write both programs and proofs easily. While we always try and write efficient code, we prioritize ease of proof over type-checking and normalization performance. If computational performance is important to you, then perhaps try agda-prelude instead. Getting started If you're looking to find your way around the library, there are several different ways to get started: The library's structure and the associated...
The Agda standard library The standard library aims to contain all the tools needed to write both programs and proofs easily. While we always try and write efficient code, we prioritize ease of proof over type-checking and normalization performance. If computational performance is important to you, then perhaps try agda-prelude instead. Getting started If you're looking to find your way around the library, there are several different ways to get started: The library's structure and the associated...
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| bitdump/BLHeli | AssemblyC++Other | 1.7k | 0 | 1k | 0 |
| mathiasvr/bluejay | AssemblyPythonMakefile | 409 | +1 | 37 | 0 |
| leachim6/hello-world | AssemblyPythonC | 10.3k | +19 | 1.9k | 0 |
| netwide-assembler/nasm | AssemblyCPerl | 1.9k | +13 | 235 | +1 |
| BLAKE3-team/BLAKE3 | AssemblyRustC | 4.2k | +9 | 286 | +1 |
| pret/pokered | AssemblyPythonOther | 3.5k | +4 | 762 | +1 |
| xiph/rav1e | AssemblyRustOther | 3.4k | 0 | 231 | 0 |
| soimort/translate-shell | AwkOther | 6.5k | +8 | 394 | -1 |
| Igalia/meta-webkit | BitBakeNASLClojure | 123 | 0 | 68 | 0 |
| cp6/my-idlers | BladePHPOther | 165 | 0 | 26 | 0 |