Trending repositories for language Standard ML
Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.
Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.
Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.
The MaPLe compiler for efficient and scalable parallel functional programming
Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.
Performance Software for Cyclists, Runners, Triathletes and Coaches
Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.
A repo containing different tools compiled specifically for the Hak5 WiFi Pineapple MK6 and MK7.
New repo: https://github.com/privacy-scaling-explorations/perpetualpowersoftau
Verified Windows, OSX, Linux TrueCrypt v. 7.1a binaries and source files
New repo: https://github.com/privacy-scaling-explorations/perpetualpowersoftau
A repo containing different tools compiled specifically for the Hak5 WiFi Pineapple MK6 and MK7.
Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.
Performance Software for Cyclists, Runners, Triathletes and Coaches
Verified Windows, OSX, Linux TrueCrypt v. 7.1a binaries and source files
Performance Software for Cyclists, Runners, Triathletes and Coaches
The MaPLe compiler for efficient and scalable parallel functional programming
Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.
A repo containing different tools compiled specifically for the Hak5 WiFi Pineapple MK6 and MK7.
This project is the old version of Standard ML of New Jersey that continues to support older systems (e.g., 32-bit machines).
dress 项目的 master 分支备份。没了挺可惜的。source: https://github.com/komeiji-satori/Dress
IBM Cloud Paks are enterprise-grade containerized software by combining container images with enterprise capabilities for deployment in production use cases with integrations for management and lifecy...
This project is the old version of Standard ML of New Jersey that continues to support older systems (e.g., 32-bit machines).
dress 项目的 master 分支备份。没了挺可惜的。source: https://github.com/komeiji-satori/Dress
The MaPLe compiler for efficient and scalable parallel functional programming
Packages added to my images | MY REPOSITORY | Updated: 22.05.2024
利用用户画像数据、物品元数据、用户行为数据为特征构建推荐系统，使用CB和CF算法做推荐召回，使用 Redis数 据库做缓存处理，结合机器学习LR算法推荐排序，达到粗排、精排效果，实现推荐引擎搭建。
Athena is a modern, practical language for proof engineering & natural deduction.
Supplemental material to our paper: "One Glitch to Rule Them All: Fault Injection Attacks Against AMD's Secure Encrypted Virtualization"
Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.
IBM Cloud Paks are enterprise-grade containerized software by combining container images with enterprise capabilities for deployment in production use cases with integrations for management and lifecy...
Performance Software for Cyclists, Runners, Triathletes and Coaches