Geeks
FStarLang
/
atom-fstar
Syntax highlighting for F* in Atom Editor
Primary Language
Shell
Apache License 2.0
Apache-2.0
atom-fstar GitHub
Markdown
Readme
4
Issues
11
Stargazers
39
Watchers
Stargazers
audreyt
@g0v
catalin-hritcu
MPI-SP
ckeller
cpitclaudel
EPFL
jonschoning
@3CloudSolutions
MatchaChoco010
Japan
seanpm2001
Self-employed; looking for tips
sidkshatriya
sxxiaolou
china
TomasHubelbauer
@rhaeo