-
-
Notifications
You must be signed in to change notification settings - Fork 85
/
flow.scroll
98 lines (88 loc) · 8.05 KB
/
flow.scroll
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
import ../code/conceptPage.scroll
id flow
name Flow
appeared 2014
tags pl
website https://flow.org/
latestVersion v0.236.0
webRepl https://flow.org/try/
conceptDescription Javascript with static type checking.
writtenIn javascript json ocaml expect bourne-shell diff markdown c css make cpp dockerfile svg jsx yaml bash powershell python
documentation https://flow.org/en/docs/
repoStats
firstCommit 2014
commits 20344
committers 1026
files 14755
newestCommit 2024
country United States
originCommunity Facebook
example
// @flow
function square(n: number): number {
return n * n;
}
square("2"); // Error!
twitter https://twitter.com/flowtype
githubRepo https://github.com/facebook/flow
firstCommit 2014
stars 21761
forks 1848
subscribers 404
created 2014
updated 2022
description Adds static typing to JavaScript to improve developer productivity and code quality.
issues 2478
lineCommentToken //
hasLineComments true
// A comment
hasComments true
// A comment
hasSemanticIndentation false
domainName flow.org
registered 2002
awisRank
2022 431104
isbndb 14
year|publisher|title|authors|isbn13
2012|LAP LAMBERT Academic Publishing|Mathemaical Modelling of Blood Flow in the Internal Carotid Artery: Modelling and Simulation of Blood Flow in the Internal Carotid artery for Optimum Human Health|Tivde, Tertsegha|9783659137389
2006|Apress|Expert Spring MVC and Web Flow (Expert's Voice in Java)|Yates, Colin and Ladd, Seth and Devijver, Steven and Davison, Darren|9781590595848
2010|Springer-Verlag New York, LLC|Hardware/Software Co-Design for Data Flow Dominated Embedded Systems|Niemann and Ralf and Marwedel and Peter|9781441950642
2012|Apress|Pro Spring MVC: With Web Flow (Expert's Voice in Spring)|Deinum, Marten and Serneels, Koen and Yates, Colin and Ladd, Seth and Vervaet, Erwin and Vanfleteren, Christophe|9781430241560
2012|Springer Vieweg|SynDEVS Co-Design Flow: A Hardware / Software Co-Design Flow Based on the Discrete Event System Specification Model of Computation|Molter, H. Gregor|9783658003968
2010|Springer|Reasoning About Program Transformations: Imperative Programming And Flow Of Data|Jean-francois Collard|9781441929815
2020|Apress|The Common Lisp Condition System: Beyond Exception Handling with Control Flow Mechanisms|"Herda, Michał ""phoe"""|9781484261330
2014|Springer|Traffic and Granular Flow '13|Mohcine Chraibi|9783319106298
2012|Springer|Traffic Flow Dynamics: Data, Models and Simulation|Treiber, Martin and Kesting, Arne|9783642324604
2012|LAP LAMBERT Academic Publishing|A Network Model: Minimum Cost Network Flow Problem (MCNFP): Mathematical Analysis of Minimum Cost Network Flow Problem|Uddin, Md. Farhad|9783659104077
1992|Transportation Research Board|Highway Capacity and Traffic Flow (Transportation Research Record)||9780309054041
2008|Elsevier Science|Information Flow and Knowledge Sharing (Volume 2) (Capturing Intelligence, Volume 2)|Correa da Silva, Flavio Soares and Agusti-Cullell, Jaume|9780444529350
1995|Wiley|Finite Element Modeling of Environmental Problems: Surface and Subsurface Flow and Transport||9780471956624
2013|Springer|Fire Flow Water Consumption in Sprinklered and Unsprinklered Buildings: An Assessment of Community Impacts (SpringerBriefs in Fire)|Code Consultants Inc.|9781461481096
semanticScholar 25
year|title|doi|citations|influentialCitations|authors|paperId
1991|The synchronous data flow programming language LUSTRE|10.1109/5.97300|1868|193|N. Halbwachs and P. Caspi and P. Raymond and D. Pilaud|cd14bffcea4165b8bda586a79c328267099f70d6
1999|JFlow: practical mostly-static information flow control|10.1145/292540.292561|1200|83|A. Myers|c9d0cf3a81cac18b4c4a8201402571c31f13058a
1996|A Sound Type System for Secure Flow Analysis|10.3233/JCS-1996-42-304|1126|93|D. Volpano and C. Irvine and Geoffrey Smith|0fda9bbccd6908637e2ead1cef69f091bfda75d4
1974|First version of a data flow procedure language|10.1007/3-540-06859-7_145|700|28|J. Dennis|cb6e21774d8940a414fd39ba3e5b09def0b579c8
1998|Secure information flow in a multi-threaded imperative language|10.1145/268946.268975|493|42|Geoffrey Smith and D. Volpano|2271ab97994a37d035edbd6baf77c0e8907afec8
2004|A high‐level programming‐language implementation of topology optimization applied to steady‐state Navier–Stokes flow|10.1002/nme.1468|337|14|L. H. Olesen and F. Okkels and H. Bruus|33e77cced5da5548270b583492eb5709559bcd6f
2011|Secure information flow by self-composition†|10.1017/S0960129511000193|315|23|G. Barthe and P. D’Argenio and Tamara Rezk|b556236c69b042af8c1d77c66e4ec4bf5fd1a689
2007|A static analysis for quantifying information flow in a simple imperative language|10.3233/jcs-2007-15302|189|13|D. Clark and Sebastian Hunt and P. Malacaria|d1698a71ceb10ed18edd784fd5f38db793ccac45
2011|Caisson: a hardware description language for secure information flow|10.1145/1993498.1993512|106|17|Xun Li and Mohit Tiwari and J. Oberg and Vineeth Kashyap and F. Chong and T. Sherwood and B. Hardekopf|09dce8e6947261600ec145f4544ede7ae5dc437e
2015|Precise, dynamic information flow for database-backed applications|10.1145/2908080.2908098|57|6|Jean Yang and Travis Hance and Thomas H. Austin and Armando Solar-Lezama and C. Flanagan and Stephen Chong|270ce1140e9695c79e7ff0acdf6f3b5fcf4f3600
2014|Quantifying Information Flow for Dynamic Secrets|10.1109/SP.2014.41|48|1|Piotr Mardziel and M. Alvim and M. Hicks and Michael R. Clarkson|689825bef9e1015da2cceed309a6de884e45e902
1973|A data flow language for operating systems programming|10.1145/800021.808289|40|1|P. Kosinski|6f50450244f1f91afab9ce876f69ffa4d0450714
2013|Swift/T: scalable data flow programming for many-task applications|10.1145/2442516.2442559|40|2|J. Wozniak and Timothy G. Armstrong and M. Wilde and D. Katz and E. Lusk and Ian T Foster|a5138319f40cd58c0fbe08a5fb513be0c0642f8e
2016|Developed generalised unified power flow controller model in the Newton–Raphson power-flow analysis using combined mismatches method|10.1049/IET-GTD.2015.1247|34|0|S. Kamel and F. Jurado and Zhe Chen and M. Abdel-Akher and Mohamed Ebeed|5766b568c060417e2173d0cc3f7abb235b513d03
2012|Flexible dynamic information flow control in the presence of exceptions*|10.1017/S0956796816000241|34|5|D. Stefan and David Mazières and John C. Mitchell and Alejandro Russo|cc328b7ef7dd05cc89c5a058b0d7b2db69ec806e
1988|A Programming Language for Discrete Event Production Systems Based on Production Flow Schema and Mark Flow Graph|10.9746/SICETR1965.24.183|24|0|P. Miyagi and K. Hasegawa and K. Takahashi|69c8c0948896ad8afc717b7cfeac9206190d2d7d
1994|VIPERS: a data flow visual programming environment based on the Tcl language|10.1145/192309.192361|21|3|Massimo Bernini and M. Mosconi|9aa8df179b2f6b3c252657a8813850e22d2fe7e9
1985|Omega—A Data Flow Analysis Tool for the C Programming Language|10.1109/TSE.1985.232542|20|1|C. Wilson and L. Osterweil|a17b956678ab4e32f2246a425d92d2d0c9d9035a
2014|FlowR: aspect oriented programming for information flow control in ruby|10.1145/2577080.2577090|17|1|Thomas Pasquier and J. Bacon and B. Shand|88725c499c0b425fcaaf36de32cdd287386a9870
2010|Language-based replay via data flow cut|10.1145/1882291.1882322|13|0|Ming Wu and Fan Long and Xi Wang and Zhilei Xu and Haoxiang Lin and Xuezheng Liu and Zhenyu Guo and Huayang Guo and Lidong Zhou and Zheng Zhang|34ce7b7b03cbe75d8803e2c1cd1626cd60251758
1981|The data flow programming language CAJOLE - an informal introduction|10.1145/947864.947867|13|0|C. Hankin and H. Glaser|653798784585ee159dd25fa50017d0f99a88ea8e
1997|BDL-A Nondeterministic Data Flow Programming Language with Backtracking|10.1109/VL.1997.626610|9|1|Andy Schürr|8a74a3871d6fad745eec83c2bab8222dd4f8281a
1990|IDF: A graphical data flow programming language for image processing and computer vision|10.1109/ICSMC.1990.142126|8|0|N. Hunt|e9a89e9b2e73df8300010609a9f57367201de05c
2009|Not-so-free data flow in a visual data flow programming language|10.1109/ICCSIT.2009.5234876|3|0|M. Marttila-Kontio and Risto T. Honkanen|6ba2dc2bdf18d732e26fad12bef375f2af5e36ff
1997|BDL-a nondeterministic data flow programming language with backtracking|10.1109/VL.1997.626610|2|0|A. Schurr|9be8d906cf0af3bd0e193100b2c4c2b0536b1a66