Trending repositories for language Standard ML
The MaPLe compiler for efficient and scalable parallel functional programming
Athena is a modern, practical language for proof engineering & natural deduction.
Performance Software for Cyclists, Runners, Triathletes and Coaches
Athena is a modern, practical language for proof engineering & natural deduction.
The MaPLe compiler for efficient and scalable parallel functional programming
Performance Software for Cyclists, Runners, Triathletes and Coaches
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.
dress 项目的 master 分支备份。没了挺可惜的。source: https://github.com/komeiji-satori/Dress
This project is the old version of Standard ML of New Jersey that continues to support older systems (e.g., 32-bit machines).
A repo containing different tools compiled specifically for the Hak5 WiFi Pineapple MK6 and MK7.
Athena is a modern, practical language for proof engineering & natural deduction.
Project materials related to logic programming for interactive/reactive systems. Contains the Ceptre programming language.
dress 项目的 master 分支备份。没了挺可惜的。source: https://github.com/komeiji-satori/Dress
This project is the old version of Standard ML of New Jersey that continues to support older systems (e.g., 32-bit machines).
Athena is a modern, practical language for proof engineering & natural deduction.
Performance Software for Cyclists, Runners, Triathletes and Coaches
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.
Project materials related to logic programming for interactive/reactive systems. Contains the Ceptre programming language.
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).
The MaPLe compiler for efficient and scalable parallel functional programming
dress 项目的 master 分支备份。没了挺可惜的。source: https://github.com/komeiji-satori/Dress
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.
Performance Software for Cyclists, Runners, Triathletes and Coaches
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...