Discover trending Standard ML
open-source projects

53
107
159
WorkOS
Our great sponsors
  • WorkOS - The modern identity platform for B2B SaaS
  • InfluxDB - Power Real-Time Data Analytics at Scale
  • SaaSHub - Software Alternatives and Reviews
Our great sponsors

mpl

smlsharp

Arma-Reforger-Samples

cakeml

smlpkg

smackage
Mentions
@
 Stars Project Description
7 285
mpl
 The MaPLe compiler for efficient and scalable parallel functional programming

Popular Standard ML Topics

standard-ml sml mlton smlpkg Compiler Functional programming Hol Parallel Formal Verification Openwrt smlnj fakeinternet Bios Formal Methods Cycling cubical-type-theory based Apl Hardware Coreboot hak5 hcxdumptool hcxtools Hacking autoformat

Latest Mentions

Latest mentioned Standard ML repos
Stars Project
285 mpl
7 repoint
1,738 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

View more »

Newsletter