moonad-archive/Formality-JavaScript
An implementation of the Formality language in JavaScript
JavaScriptMIT
Stargazers
- bakkdoorGermany
- bugarela@informalsystems
- caotic123UFVJM - Universidade do Vale do Jequitinhonha e Mucuri.
- charles-lJersey City, NJ
- chessai
- csabahruskaLondon
- cstoreyLondon
- cwgoesγαλαξίας κύκλος
- effectfully
- esnekoLatvia
- felko
- g0xA52A2A
- gabriela-sartoriBrazil
- hackwaly
- HexirpJapan
- jahaynesStockholm, Sweden
- janstenpickleLondon
- johnchandlerburnhamArgument Computer Corporation
- karifrederiksenDenmark
- lordcirthUniversity of Waterloo, CSCF
- Lucassifoni@alzo-archi
- macabeusPorto / Portugal
- MaisaMilenaQuintoAndar
- MatthiasNicklesEurope
- newsoftGoogle
- o1lo01ol1obklyn
- qsctr@GaloisInc
- rodrigogribeiro
- rweSeattle, WA
- snordgrenBnearIT AB
- StekkeBelgium
- sverclMinnesnowta
- thaewraptSelf-Employment, Inc.
- victoria-petitePhiladelphia, PA
- viniciusfk9
- wpank@AhaniaCapital