Standard ML LibHunt

Discover popular and related Standard ML open-source projects

16
26
29
Our great sponsors
  • Nanos - Run Linux Software Faster and Safer than Linux with Unikernels
  • Scout APM - A developer's best friend. Try free for 14-days
  • SaaSHub - Software Alternatives and Reviews
Mentions Stars Project Description
- 20,226 好耶 是女装
- 1,309 Performance Software for Cyclists, Runners, Triathletes and Coaches
- 727 The MLton repository
- 696 CakeML: A Verified Implementation of ML
- 143 Library and Toolkit for Standard ML
- 132 Generic package manager for Standard ML libraries and programs
- 106 Smackage Package Manager for Standard ML
- 58 A basic library of algorithms and data structures (a la NJlib)
- 56 Public Keys and Checksum Hashes
- 31 APL compiler written in Standard ML
- 13
- 10 Verilog development and verification project for HOL4
- 7 A custom parser for Standard ML
- 4 Typeful data structures and algorithms
- 3
- 1 A manager for checkouts of third-party source code dependencies.

Popular Standard ML Topics

Latest Mentions

Latest mentioned Standard ML repos
Stars Project
143 ponyo
106 smackage
727 mlton
7 parse-sml
56 keys-n-hashes
20,226 Dress
13 gitian.sigs
132 smlpkg
1,309 GoldenCheetah
696 cakeml
31 aplcompile
1 repoint
3 BitcoinUnlimitedWebDownloads
58 cmlib
4 typhoon
10 hardware

Latest Discoveries

Latest discovered Standard ML repos
Stars Project
106 smackage
7 parse-sml
20,226 Dress
696 cakeml
31 aplcompile
1 repoint
3 BitcoinUnlimitedWebDownloads
4 typhoon
132 smlpkg
1,309 GoldenCheetah
10 hardware
13 gitian.sigs
56 keys-n-hashes
58 cmlib
143 ponyo
727 mlton

99remotejobs.com

Find remote jobs at our new job board 99remotejobs.com.
There are 25 new remote jobs listed recently.
Are you hiring? Post a new remote job listing for free.