Trending repositories for language Standard ML
Performance Software for Cyclists, Runners, Triathletes and Coaches
Performance Software for Cyclists, Runners, Triathletes and Coaches
Performance Software for Cyclists, Runners, Triathletes and Coaches
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.
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
Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.
Verified Windows, OSX, Linux TrueCrypt v. 7.1a binaries and source files
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
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.
Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.
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).
Project materials related to logic programming for interactive/reactive systems. Contains the Ceptre programming language.
Packages added to my images | MY REPOSITORY | Updated: 22.05.2024
This project is the old version of Standard ML of New Jersey that continues to support older systems (e.g., 32-bit machines).
Packages added to my images | MY REPOSITORY | Updated: 22.05.2024
The MaPLe compiler for efficient and scalable parallel functional programming
dress 项目的 master 分支备份。没了挺可惜的。source: https://github.com/komeiji-satori/Dress
利用用户画像数据、物品元数据、用户行为数据为特征构建推荐系统，使用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