Trending repositories for language Standard ML
dress 项目的 master 分支备份。没了挺可惜的。source: https://github.com/komeiji-satori/Dress
dress 项目的 master 分支备份。没了挺可惜的。source: https://github.com/komeiji-satori/Dress
The MaPLe compiler for efficient and scalable parallel functional programming
dress 项目的 master 分支备份。没了挺可惜的。source: https://github.com/komeiji-satori/Dress
dress 项目的 master 分支备份。没了挺可惜的。source: https://github.com/komeiji-satori/Dress
The MaPLe compiler for efficient and scalable parallel functional programming
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
Project materials related to logic programming for interactive/reactive systems. Contains the Ceptre programming language.
Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.
dress 项目的 master 分支备份。没了挺可惜的。source: https://github.com/komeiji-satori/Dress
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
Performance Software for Cyclists, Runners, Triathletes and Coaches
Project materials related to logic programming for interactive/reactive systems. Contains the Ceptre programming language.
Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.
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.
Project materials related to logic programming for interactive/reactive systems. Contains the Ceptre programming language.
dress 项目的 master 分支备份。没了挺可惜的。source: https://github.com/komeiji-satori/Dress
Supplemental material to our paper: "One Glitch to Rule Them All: Fault Injection Attacks Against AMD's Secure Encrypted Virtualization"
New repo: https://github.com/privacy-scaling-explorations/perpetualpowersoftau
dress 项目的 master 分支备份。没了挺可惜的。source: https://github.com/komeiji-satori/Dress
The MaPLe compiler for efficient and scalable parallel functional programming
Supplemental material to our paper: "One Glitch to Rule Them All: Fault Injection Attacks Against AMD's Secure Encrypted Virtualization"
Athena is a modern, practical language for proof engineering & natural deduction.
A repo containing different tools compiled specifically for the Hak5 WiFi Pineapple MK6 and MK7.
这里仅做备份！原repo复活了！新地址是下面这个！！https://github.com/Dress-Collection/Dress
New repo: https://github.com/privacy-scaling-explorations/perpetualpowersoftau
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