PrototypeCommon
standardml/twelf
The Twelf Programming Language
- Owner
- standardml (organization)
- Stars
- Stars: 163
- Forks
- Forks: 23
- Language
- Standard ML
- License
- None
- Created
- 2011
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by standardml
All 2 repos by standardml- standardml/smackageStars: 123Standard MLPrototype
Nearby in Standard ML
All Standard ML repos- Ravenbrook/mlworksStars: 181Standard MLPrototype
- zxcalc/quantomaticStars: 174Standard MLPrototype
- diku-dk/smlpkgStars: 169Standard MLPrototype
- IBM/cloud-pakStars: 148Standard MLPrototype
- eatonphil/ponyoStars: 145Standard MLPrototype
- weijiekoh/perpetualpowersoftauStars: 134Standard MLPrototype