AlphaUncommon
project-everest/vale
Verified Assembly Language for Everest
- Owner
- project-everest (organization)
- Stars
- Stars: 321
- Forks
- Forks: 23
- Language
- F#
- License
- Apache-2.0
- Created
- 2017
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by project-everest
All 4 repos by project-everest- project-everest/everparseStars: 345F*Alpha
- project-everest/everestStars: 209ShellPrototype
- project-everest/mitls-fstarStars: 183F*Prototype
Nearby in F#
All F# repos- mbraceproject/FsPicklerStars: 327F#Alpha
- eiriktsarpalis/TypeShapeStars: 325F#Alpha
- fsprojects/pulsar-client-dotnetStars: 322F#Alpha
- fsprojects-archive/zzarchive-VisualFSharpPowerToolsStars: 308F#Alpha
- fsprojects/FSharp.TypeProviders.SDKStars: 304F#Alpha
- SwensenSoftware/unquoteStars: 298F#Alpha