Knjižnice, napisane v Standard ML u
GoldenCheetah
Programska oprema za zmogljivost za kolesarje, tekače, triatlonce in trenerje.
- 1.6k
- GNU General Public License v3.0 only
openwrt-useful-tools
Repo, ki vsebuje različna orodja, sestavljena posebej za Hak5 WiFi Pineapple MK6 in MK7..
- 207
perpetualpowersoftau
Nov repo: https://github.com/privacy-scaling-explorations/perpetualpowersoftau.
- 117
- GNU General Public License v3.0 only
amd-sp-glitch
Dodatno gradivo k našemu prispevku: "Ena napaka, ki jim bo vladala vsem: napadi z vbrizgavanjem napak proti AMD-jevi varni šifrirani virtualizaciji".
- 65
- GNU General Public License v3.0 only
hardware
Projekt razvoja in preverjanja Veriloga za HOL4 (avtor CakeML).
- 20
- BSD 3-clause "New" or "Revised"
typhoon
Tipske podatkovne strukture in algoritmi (avtor eduardoleon).
- 5
- GNU General Public License v3.0 only