53
107
159
Our great sponsors
|
Mentions
@
|
Stars | Project | Description |
|---|---|---|---|
| 15 | 1,737 | Performance Software for Cyclists, Runners, Triathletes and Coaches | |
| 9 | 916 | The MLton repository | |
| 14 | 912 | CakeML: A Verified Implementation of ML | |
| 6 | 797 | The Ur/Web programming language | |
| 1 | 474 | Poly/ML | |
| 1 | 402 | Globally orientated citizenship with private passport services using available cryptographic tools | |
| 7 | 285 | The MaPLe compiler for efficient and scalable parallel functional programming | |
| 3 | 271 | Project materials related to logic programming for interactive/reactive systems. Contains the Ceptre programming language. | |
| 2 | 264 | Standard ML Compiler and Toolkit | |
| 3 | 240 | The Standard ML compiler that produces Lua/JavaScript | |
| 7 | 231 | Modding Samples | |
| 1 | 225 | A repo containing different tools compiled specifically for the Hak5 WiFi Pineapple MK6 and MK7. | |
| 2 | 211 | SML# compiler | |
| 6 | 208 | APL Compiler targeting a typed array intermediate language | |
| 4 | 157 | Generic package manager for Standard ML libraries and programs | |
| 6 | 144 | Library and Toolkit for Standard ML | |
| 1 | 123 | New repo: https://github.com/privacy-scaling-explorations/perpetualpowersoftau | |
| 2 | 122 | Smackage Package Manager for Standard ML | |
| 1 | 94 | OpenWrt/LEDE Project Packages Repository | |
| 1 | 75 | Supplemental material to our paper: "One Glitch to Rule Them All: Fault Injection Attacks Against AMD's Secure Encrypted Virtualization" |
Popular Standard ML Topics
Latest Mentions
Latest mentioned Standard ML repos
| Stars | Project |
|---|---|
| 285 | mpl |
| 7 | repoint |
| 1,737 | GoldenCheetah |
| 208 | apltail |
| 11 | parallel-ml-bench |
| 912 | cakeml |
| 797 | urweb |
| 10 | smlfut |
| 94 | repo.openwrt.melmac.net |
| 34 | flunct |
| 916 | mlton |
| 5 | install-mlkit |
| 0 | zstd |
| 231 | Arma-Reforger-Samples |
| 61 | smlfmt |
| 157 | smlpkg |
| 0 | master-thesis |
| 22 | dell-wyse-3040-openwrt |
| 240 | LunarML |
| 402 | World-Citizenship |
Latest Discoveries
Latest discovered Standard ML repos
| Stars | Project |
|---|---|
| 10 | smlfut |
| 94 | repo.openwrt.melmac.net |
| 34 | flunct |
| 5 | install-mlkit |
| 0 | zstd |
| 0 | master-thesis |
| 402 | World-Citizenship |
| 31 | n64sym |
| 2 | SMLDoc |
| 17 | molasses |
| 20 | mulligan |
| 1 | sml-libs |
| 271 | interactive-lp |
| 11 | parallel-ml-bench |
| 4 | smlnj-viscomp-example |
| 285 | mpl |
| 225 | sml-redprl |
| 22 | dell-wyse-3040-openwrt |
| 231 | Arma-Reforger-Samples |
| 13 | mpllib |
Recently updated posts
- MPL: Automatic Management of Parallelism
- Repoint: A manager for checkouts of third-party source code dependencies
- Repoint: A manager for checkouts of third-party source code dependencies
- Apltail: APL Compiler targeting a typed array intermediate language
- smlfut - calling Futhark from SML