Knihovny napsané v Standard ML u
GoldenCheetah
Výkonový software pro cyklisty, běžce, triatlonisty a trenéry.
- 1.6k
- GNU General Public License v3.0 only
openwrt-useful-tools
Repo obsahující různé nástroje sestavené speciálně pro Hak5 WiFi Pineapple MK6 a MK7..
- 207
perpetualpowersoftau
Nové repo: https://github.com/privacy-scaling-explorations/perpetualpowersoftau.
- 117
- GNU General Public License v3.0 only
amd-sp-glitch
Doplňkový materiál k našemu dokumentu: „Jeden závada vládne všem: Fault Injection Attacks proti zabezpečené šifrované virtualizaci AMD“.
- 65
- GNU General Public License v3.0 only
hardware
Verilog vývojový a ověřovací projekt pro HOL4 (od CakeML).
- 20
- BSD 3-clause "New" or "Revised"
typhoon
Typické datové struktury a algoritmy (od eduardoleonu).
- 5
- GNU General Public License v3.0 only